AI Reasoning powered by Mathematical Logic
Austin, TX
Joined April 2025
- Tweets47
- Following12
- Followers53
- Likes10
We're launching SpecLogician today!
A code diff tells you what changed in the text - not what changed in the behavior.
SpecLogician gives coding agents & humans a shared, machine-checkable model of software behavior, so edge cases surface before production.
Visit speclogician.dev to get started!
More details here: medium.com/imandra/coding-ag…
26
Join us this Thursday at 10 am CT!
We'll model a slice of exchange behavior end to end: an LLM driving SpecLogician to propose states, transitions, and scenarios, with ImandraX reasoning over the result and surfacing the counterexamples neither of us thought of.
Register here: riverside.com/webinar/regist…
24
A brokerage that disintegrated in 45 minutes. An exchange that botched its own IPO. A flight control system with behavior its pilots didn't know about.
Different industries, same root cause: an edge case nobody saw coming.
In this new demo, our co-founder @DenisIgnatovich shows how to give @OpenAI's Codex access to ImandraX through CodeLogician, so it can reason rigorously about every corner of its own code.
youtu.be/ZMzcSSYHnkQ
43
LLMs generate code well. They can't exhaustively reason about a program's state space and missed edge cases are what bring down trading systems, trigger compliance failures, or worse.
Imandra closes that gap!
1
38
In this demo, our co-founder @DenisIgnatovich shows how pairing @GeminiApp (via @antigravity ) with ImandraX + CodeLogician lets you reason about every region of a program's behavior, not just the paths the LLM happened to consider.
1
27
Imandra's Co-Founder Dr. @PassmoreGrant is keynoting the PLSEFM + AI Workshop at Georgia Tech on April 30, hosted by @GTRI_Global, @Google, and @ORNL.
He'll show how Region Decomposition, a core technique behind Imandra's automated reasoning platform, serves as a unifying data structure for neurosymbolic reasoning. When paired with LLM-based coding assistants, it meaningfully beats LLM-only baselines on edge case discovery, test generation, and formal verification.
1
33
Grant also joins the closing panel with @Google's Dr. Jose Cambronero and @GTRI's Dr. Shelby Allen.
Details & registration here: sites.gatech.edu/plsefm-ai-w…
Don't miss it!
14
Last week on AI Reasoning Weekly, @DenisIgnatovich walked us through real world applications of CodeLogician and how formal verification catches what LLMs miss.
Plus a first look at something coming very soon!
Watch the full video here: youtu.be/DOOcJYitKTg
1
1
202
We ran Claude + CodeLogician on a real @stripe payment flow.
@claudeai drove the loop. ImandraX was the auditor.
Real bug found. Flawed verification goals caught. 10 tests became 84.
Read the full case study by Imandra's Co-Founder & CEO @DenisIgnatovich here: medium.com/imandra/managing-…
3
976
Add one line to a bank account classification model and your logical regions jump from 19 to 55. That is a 190% increase in behaviors.
@DenisIgnatovich and Paul Brennan walk through a real-world banking scenario showing how AI-assisted coding via @cursor_ai, augmented with Imandra's automated reasoning, delivers provably correct results.
Watch the full video: youtu.be/hL_Q4Q4GCJQ?si=jsLn…
Free to try: codelogician.dev
2
394
We just wrapped our first AI Reasoning Weekly and it was a strong kickoff!!
Here's what we covered 🚪
1
1
61
@DenisIgnatovich and @grantolney introduced ImandraX, Imandra’s core reasoning engine, and CodeLogician, its agent-friendly interface for code.
ImandraX unifies theorem proving traditions, Boyer–Moore, Lean/Isabelle/Rocq-style ITP, and SMT automation, into one coherent engine.
1
16
AI agents ship fast.
Trusting what they ship? That's the hard part.
We built CodeLogician to fix this. It forces agents to prove what the code does — not guess.
Our co-founder @DenisIgnatovich demoed it with Claude Code building a payment gateway in his Medium article (link below). The reasoning engine caught a fee structure that silently loses money on small transfers.
The kind of bug you find in a post-mortem, not a code review.
Read the full piece here: medium.com/imandra/vibe-codi…
Our latest research shows @imandra_ai CodeLogician achieves up to 5x improvement in core code reasoning tasks like state space exploration and control-flow understanding.
Watch Imandra's co-founders @grantolney and @DenisIgnatovich demonstrates a live demo on Six Swiss Exchange pricing logic. Claude Opus 4.6 alone finds 38 unique behaviors in ~100 seconds. With Imandra's region decomposition, the precise answer — 44 distinct regions — arrives in a fraction of a second, revealing subtle edge cases the LLM missed entirely.
For regulated, high-stakes environments, formal verification isn't optional.
youtu.be/9nR5Gw9v9IE
Check out our new video that showcases how we augment Claude with Imandra CodeLogician to analyze M&A term sheets with mathematical rigor:
Spoiler alert: Imandra found a flaw in the clawback mechanism in a real term sheet. The the kind of gap that costs millions in a live deal. If you work in advisory, legal, compliance, or anywhere contracts and process logic need to be airtight, this is the AI assurance you need.
Try CodeLogician for free today.
youtu.be/TqHiJ05w748?si=Pqr9…
Excited to see the @wsj highlight the real-world adoption of neurosymbolic AI (and @imandra_ai and @awscloud!) in live systems powering financial markets, logistics, and infrastructure!
Read the full feature: wsj.com/articles/meet-neuros…
At Imandra, we've spent years building the foundations for AI that can reason, validate, and scale responsibly. Seeing our work included alongside @awscloud in this deep dive by @Steve_Rosenbush is a meaningful moment, and one that signals where the industry is heading.
1
1
96
Outsmart Insight just released a report (Imandra is featured on page 18) exploring the opportunities, challenges, and risks for deploying AI to support efficient software development in high-assurance environments including defense.
Full report: outsmartinsight.com/ai-assis…
Learn how you can use tools like @cursor_ai with mathematical precision by adding automated reasoning/symbolic AI in our latest video.
Full video here:
youtu.be/abV-eOs2ZFs?si=w84c…
Imandra Universe: universe.imandra.ai/
Imandra CodeLogician:
docs.imandra.ai/universe/cod…
1
153
Thank you to everyone who stopped by our booth at @TradeTech in Paris to learn about how we're bringing automated reasoning to financial trading platforms. We had some great conversations and can't wait for next year!
2
61
Our very own AI researcher and engineer, Dr. Kostya Kanishev, recently gave a talk on Structured Generation and why he thinks it's the next big thing in AI. Structured generation is critical to Imandra Universe, our ecosystem for neurosymbolic AI (universe.imandra.ai/). We invite you to watch the talk and join the conversation in the comments!
Watch the talk here🔽
youtu.be/9MzYmWAYn5M?si=mdtR…
Read about our own Samer Abdallah using ImandraX’s more advanced formal verification features. Then take ImandraX for a spin yourself at universe.imandra.ai
medium.com/imandra/first-ste…