Imandra develops AI reasoning technology that provides formal verification and mathematical logic analysis for software systems, enabling AI to understand, verify, and justify the real behavior of the systems it builds and runs. The company's CodeLogician platform translates source code into precise mathematical models, mapping every type, state, relation, and function to uncover hidden bugs and generate rigorous test cases. Imandra serves financial services, government, and defense sectors with clients including DARPA, Goldman Sachs, KPMG, Citi, Euronext, and TMX. Founded in 2014 and headquartered in Austin, Texas and London, the company has raised approximately $5M in seed funding from investors including IQ Capital, AlbionVC, and Green Visor Capital. Imandra differentiates itself through neurosymbolic AI that combines LLM pattern recognition with symbolic reasoning, closing a 41-47 percentage point accuracy gap compared to LLM-only approaches.
Imandra
SeedImandra develops AI reasoning technology that provides formal verification and mathematical logic analysis for software systems, enabling AI to understand, verify, and justify the real behavior of the systems it builds and runs. The company's CodeLogician platform translates source code into precise mathematical models, mapping every type, state, relation, and function to uncover hidden bugs and generate rigorous…
About
Business model
GRC Software > Risk Management,
Investment Tech > Capital Market IT > Trade Management > Risk and Compliance Management,
RegTech > Risk Management > Risk Type > Investment Industry Risks,
Dcode Batches > AI
Team background
College Wise > University of Edinburgh
Institutional investors
Latest coverage
📰 See all funding news — keep up with the raises that set comps.
Backed by funds in our directory
🗂️ See who's investing in FinTech — full fund directory with check size and geography.