companies / imandra-ai
Generated UTC · publication cutoff 2026-11-09
Insufficient cited evidence for a two-sentence summary.
verified=2026-05-05 json
| total_raised | 11,000,00011.0M | ○ |
|---|---|---|
| founded | 2014 | |
| hq | austin, tx, usa | |
| industry | unknown | |
| stage | null |
CodeLogician and ImandraX — neurosymbolic AI reasoning for software analysis and verification. Sold to DARPA, Goldman Sachs, KPMG, Citi, OneChronos, Euronext, TMX, Broadridge, and the US Navy. Combines LLM creativity with formal logic, closing a 41-47 percentage-point accuracy gap over LLM-only reasoning.
No cited completed company acquisition recorded.
Dated disclosures. Customer relationships and classifications are historical; ARR is separate from revenue.
No cited disclosure recorded: named customer, disclosed revenue, ARR, count, B2B / B2C, sector, go-to-market.
No cited valuation with an explicit basis is recorded.
Historical post-money / actual annual or stated TTM revenue. Same currency; economic valuation date within 90 days of revenue period end, inclusive. No FX, ARR, annualized revenue, estimates or projections. Conflicts and ambiguous ties are withheld.
No qualifying pair recorded.
| date | type | amount | lead | src |
|---|---|---|---|---|
| 2025-01-01 | grant | 1,800,0001.8M | null | ○ |
reCAPTCHA, Google Cloud CDN, Google Tag Manager, web-vitals, Google Cloud, React, Webpack, PHP, next.js
| fact | status | src |
|---|---|---|
| Grant, $1.8M | attributed | ○ |
| existence | self-reported | WEB |
| description | self-reported | WEB |