Imandra

Excited to announce that we have launched FIX Wizard - the first of Imandra's AI assistants that is part of the Imandra Connectivity suite used by banks and trading firms. FIX Wizard combines statistical AI, used by LLMs, and Imandra's automated reasoning to create a powerful Generative AI assistant grounded in logic, with independently verifiable audit trails that meet stringent regulatory requirements. https://lnkd.in/eN2wkQum #statisticalAI #LLMs #FIXGateway

Thank you Stacy Nawrocki! Hear Jamie Smith talk about Imandra for #sysmlv2!

Mike Crist gave a great presentation to a packed room at #incoseis. He spoke about Siemens plans for #sysmlv2 and their vision for collaboration with IBM , Imandra , and other collaborators! #sysmlv2 represents an opportunity to enable true multidisciplinary system design. Great job Mike!

Thanks QA Media! Grant Olney Passmore and Denis Ignatovich talk about Imandra's solution that is addressing the fundamental shortcomings of applying LLMs in regulated markets. Check it out! #LLMs #automatedreasoning #statisticalAI

Jamie Smith, Head of Products, will be the conference chair and moderator at the OSS.5 (jointly held with hashtag #AutoAI) in San Francisco this week. Join us live to learn how @Imandra is using #AutomatedReasoning and #SysML v2, in the world of #AutonomousVehicles! https://lnkd.in/gudPnQEi

We look forward to attending the A-Team Insight, from A-Team Group ‘AI in Capital Markets Summit London' this week, on Thursday 20 June. The event will explore current and emerging trends in AI, the potential of Generative AI and LLMs and how AI can be applied for efficiencies and business value across a number of use cases. Stop by our stand to find out how we solve some of these challenges with Imandra Markets and Imandra Connectivity.

Just arrived at LONDON TECH WEEK 2024! Looking forward to networking and introducing people to Imandra.

We are delighted to be shortlisted for ‘Best Artificial Intelligence Technology Provider’ in the WatersTechnology.com Waters Rankings 2024 for our products: Imandra Markets, Imandra Connectivity and FIX Wizard. There is still time to vote for us via https://lnkd.in/e5xuvQyJ We appreciate your support!

The FIX Trading Community is running a London AI Workshop 2024 for FIX members, hosted by Imandra! It will cover a host of essential topics, including: - The implications for electronic trading, including current and potential use cases - Maintaining industry safety standards, considering controls, regulation and accountability FIX members can register here: https://lnkd.in/eh_vuSJa

Day 2 of the #MBSE Symposium in Huntsville started with a keynote for Brad Welch that covered the importance of #DigitalTransformation to the US Army. Models and data are key to the future of system design. There is focus and optimism on the role #SysMLv2 will play in enabling the necessary evolution. The SysMLv2 panel that followed was perfectly timed and set the tone of the rest of the morning. We had Gene Shreve , Brian L. Brown, MBA and Saulius Pavalkis . Conversion, interoperability, more-domains, and more and more … Ashley Henderson gave a great talk highlighting the #SysML v2 API and how to use the API to enable simulation with other environments. She has built impressive middleware tools to abstract away some of the API complexity. Then we had the pleasure of hearing from Emily Bak on the DEM&S vision to support the Digital Engineering Ecosystem through tool selection guides and support the transition from SysML V1 to V2. Jérôme Hugues from Carnegie Mellon University presented #AADL and how to leverage it in SysML v2 for Safety Critical Systems. Joseph Howard shared a concept based on SysML v2 to build portable digital threads to transfer and retain data from engineering process to digital engineering process. The goal is to retain engineering experience and concepts digitally. Very visionary ideas and concepts. I am very excited to participate in the #AI panel in the afternoon. I think the questions will be great. Imandra is thrilled to be a part of this community. Now we are off to lunch!