Aesthetic Integration Research Corporation
Last verified 2026-05-05. JSON
The funding figures on this page are attributed, not sourced: a publisher is on record but no document URL is. How we mark provenance.
| Total raised | $11.0Mattributed |
|---|---|
| Latest round | grant, $1.8M, 2025-01-01attributed |
| Founded | 2014 |
| Headquarters | austin, tx, usa |
| Industry | fintech |
| Stage | unknown |
| Website | imandra.ai |
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.
Funding rounds
| Date | Round | Amount | Lead |
|---|---|---|---|
| 2025-01-01 | grant | $1.8M | undisclosed |
Detected tech stack
reCAPTCHA, Google Cloud CDN, Google Tag Manager, web-vitals, Google Cloud, React, Webpack, PHP, next.js
Provenance
| Fact | Status | Basis |
|---|---|---|
| Grant, $1.8M | attributed | sbir named as publisher. No document URL on file. |
| Total raised $11.0M | attributed | sbir named as publisher. No document URL on file. |
| Company existence | self-reported | imandra.ai, read 2026-05-05 |
| Description | self-reported | imandra.ai, read 2026-05-05 |
Nothing on this page is sourced yet. A sourced fact links to a document that states it.
Change history
No change recorded since records began on 2026-09-24.