Imandra

@imandra_ai

AI Reasoning powered by Mathematical Logic

Austin, TX

Imandra
@imandra_ai
Jun 11
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…
Imandra
@imandra_ai
May 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…
Imandra
@imandra_ai
May 18
Join us! Register here: riverside.com/webinar/regist…
Imandra
@imandra_ai
May 6
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
Imandra
@imandra_ai
Apr 29
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

Imandra’s posts