Excited to see The Wall Street Journal highlight the real-world adoption of neurosymbolic AI (and Imandra and Amazon!) in live systems powering financial markets, logistics, and infrastructure! At Imandra, we've spent years building the foundations for AI that can reason, validate, and scale responsibly. Seeing our work included alongside Amazon Web Services (AWS) in this deep dive by Steve Rosenbush is a meaningful moment, and one that signals where the industry is heading. Thanks to Steve and WSJ for shining a light on the role of formal logic and verification in creating AI we can trust. Read the full feature: https://lnkd.in/gT27ubzQ
Imandra
Software Development
Austin, TX 2,666 followers
Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning.
About us
Imandra is the world leader in neurosymbolic AI and cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way.
- Website
-
https://www.imandra.ai
External link for Imandra
- Industry
- Software Development
- Company size
- 11-50 employees
- Headquarters
- Austin, TX
- Type
- Privately Held
- Founded
- 2014
- Specialties
- Formal verification, Software safety and correctness, Trading systems, Financial infrastructure, Automated reasoning, Reinforcement Learning, Trading Venue, Financial Market, Neurosymbolic AI, and AI Reasoning
Products
![Click here to view Imandra Core (X)]()
Imandra Core (X)
Data Science & Machine Learning Platforms
ImandraX is the latest version of our automated reasoning engine for the analysis of algorithms, bringing unprecedented rigor and automation to algorithm design and governance. Formally verified functional programming with first-class counterexamples, highly automated proofs, powerful reasoning tactics and seamless integration of bounded and unbounded verification.
Locations
-
Primary
Get directions
600 Congress Avenue
1400
Austin, TX 78701, US
-
Get directions
1 Fore Street
City of London, EC2Y 5EJ, GB
Employees at Imandra
Updates
-
We could not agree more, Roger Burkhardt. Getting the spec right is so often the hardest part, and the future of AI-assisted software development is spec- and verification-driven at its core. It's hard to imagine a pairing more exciting than the neurosymbolic combination of AI-generated coding and automated formal verification of its adherence to a specification. Very excited to be working together on this! 🚀
On the impact of AI on the value of work, Sean Gove's "The New Code" talk highlights the evolving landscape where codification skills' value trends towards zero while specification and communication skills' importance grows exponentially with advancing language models. This shift is evident across various professions like lawyers, architects, marketeers, and programmers. The question arises: why don't we save and version our prompts with the same meticulousness as our source code? On this topic, I must give a shout out to the team at Imandra for their early investments in leveraging neuro-symbolic specification technology to enhance development and testing of FIX trading applications. #SeanGrove #OpenAI #AIAndtheFutureOfWork #Imandra #FIX #Broadridge #ClientConnectivity #Onboarding #NeuroSymbolic https://lnkd.in/ej-mp5_M
The New Code — Sean Grove, OpenAI
https://www.youtube.com/
-
We love OCaml and wouldn't be where we are without it! Check out this OCaml.org Success Story on Imandra and why we chose OCaml!
📢 New Success Story: Financial Compliance with Automated Reasoning We're excited to share a new case study showcasing how OCaml is being used by Imandra to build robust financial compliance systems through automated reasoning. This story highlights: * How OCaml's strong type system helps prevent costly compliance errors * The power of functional programming for complex financial logic * Real-world performance in mission-critical financial applications * Practical benefits of formal methods in regulated industries The case study demonstrates OCaml's continued growth in production environments where correctness and reliability are paramount. 👉 Read the full case study: https://lnkd.in/e5fh36dy Want to share your own OCaml success story? We'd love to hear from you! #OCaml #FunctionalProgramming #FinTech #SuccessStory #TypeSafety #ComplianceTech
-
Imandra reposted this
Proud of our PhD students Remi Desmartin and Omri Isac (and the dream team of Ekaterina Komendantskaya, Kathrin S. and Guy Katz) on "A Certified Proof Checker for Deep Neural Network Verification in Imandra" being accepted to ITP'25! This is beautiful work on neural network verification for high-assurance applications. Way to go! https://lnkd.in/gc2kAC-f
-
-
Outsmart Insight just released an extensive report (Imandra is featured on page 18) exploring the opportunities, challenges, and risks for deploying artificial intelligence to support efficient software development in high assurance environments including defense. Check out the report if you want to learn more about: -How AI can be integrated across the software development lifecycle -How to leverage AI while maintaining software integrity and regulatory compliance -The impact of increased automation on workplace culture and training Download the full report here: https://lnkd.in/gMGVtQBF #AI #NeurosymbolicAI #AutomatedReasoning #ReasoningAI
-
Imandra reposted this
Honored to be chairing Big Proof at the Isaac Newton Institute for Mathematical Sciences today at University of Cambridge. Tune into the live streams for some amazing talks on AI reasoning and formalized mathematics! https://lnkd.in/gpPh6Hcz
-
Imandra reposted this
This week's Software Engineering AI News from AI Programming Weekly 👇 🔷 OpenAI Updates AI Agent Framework with Four Key Features 🔷 Morgan Stanley Launches AI Tool DevGen.AI for Code Modernization 🔷 RavenDB Introduces Generative AI in Database 🔷 Anysphere Raises $900 Million, Valued at $9.9 Billion 🔷 H Company Launches Autonomous AI Agents 🔷 Mistral AI Launches Mistral Code for Enterprises 🔷 Google Announces Enhanced Gemini 2.5 Pro AI Model for Coding 🔷 Darwin Gödel Machine: Self-Improving AI Developed 🔷 Swedish AI Startup Lovable Seeks $1.5 Billion Valuation 🔷 IFLYTEK Wins Cloud Native Computing Foundation (CNCF) Contest for AI Infrastructure 🔷 iTmethods and Coder Launch AI-Ready Cloud Solution 🔷 Imandra Launches Imandra Universe for AI Agents Read more: https://lnkd.in/eiSuNVYY #ainews #ai #artificialintelligence #AIcoding #aiprogramming #SWEagent #SWEAI
-
Imandra reposted this
Had a great time at the 2025 MBSE Symposium connecting with researchers, engineers, and digital transformation leaders passionate about the future of model-based systems engineering. Eric Meinhardt and I showcased how we’re bringing formal verification to SysML v2 using ImandraX—enabling teams to design and build complex systems faster and with greater confidence. We’ve received fantastic feedback from the community, and we’re excited to continue collaborating to make sure SysML v2 is being leveraged to its full potential. Learn more about how we're doing this here -> https://lnkd.in/gmwzJKZT #MBSE #SysMLv2 #Imandra #DigitalEngineering
-
-
Learn how you can use tools like Cursor with mathematical precision by adding automated reasoning/symbolic AI in our latest video presented by Imandra co-founder and co-CEO, Denis Ignatovich. Full video here: https://lnkd.in/g-Q_tt9Y Learn more about Imandra Universe: https://lnkd.in/gBjZv4qg Learn more about Imandra CodeLogician: https://lnkd.in/gAKGPzHv #AutomatedReasoning #AI #NeurosymbolicAI #ImandraUniverse
-
📣 Imandra Universe is live! Today we're launching Imandra Universe — a breakthrough platform that brings on-demand logical reasoning to AI assistants like ChatGPT, Claude, and Cursor via our cloud-native MCP Servers for Logical Reasoning. 🧠 LLMs are great at generating text — but struggle with consistency, transparency, and logic. ⚡ With Imandra Universe, you can easily connect LLMs and AI agents to powerful symbolic reasoning engines via MCP — enabling them to: - Reason with logical rigor - Plan with constraints - Verify properties of code - Explain and justify outputs with mathematical precision Built on deep advances in formal methods, AI, and automated reasoning, Imandra Universe delivers neurosymbolic AI in action — grounding AI in mathematical truth. 🛠 Create your free account → https://lnkd.in/gydgyvUa 📰 Full launch details → https://lnkd.in/gqcy6FBj The future of AI is neurosymbolic. Imandra Universe is how we build it. #ImandraUniverse #AI #NeurosymbolicAI #ReasoningAsAService #MCP
-