{"acquisitions":[],"changes":[],"country":"US","description":"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.","domain":"imandra.ai","employees":null,"founded":2014,"fundingTotalQuarantined":false,"githubOrg":"imandra-ai","githubStars":120,"industry":"unknown","industrySources":[],"investors":[],"lat":30.271129,"lng":-97.7437,"location":"austin, tx, usa","multiples":[],"name":"Aesthetic Integration Research Corporation","people":[],"revenues":[],"rounds":[{"amountQuarantined":false,"amountUsd":1800000,"connectionsAmong":[],"currency":"USD","date":"2025-01-01","investments":[],"investors":[],"leadInvestor":null,"leadInvestors":[],"people":[],"slug":"imandra-ai-2025-01-01-grant","source":{"fact":"round","publisher":"sbir","retrievedAt":"2026-05-05","status":"attributed","url":null},"status":"attributed","type":"grant","url":null}],"slug":"imandra-ai","sources":[{"fact":"round","publisher":"sbir","retrievedAt":"2026-05-05","status":"attributed","url":null},{"fact":"existence","publisher":"imandra.ai","retrievedAt":"2026-05-05","status":"self-reported","url":"https://imandra.ai"},{"fact":"description","publisher":"imandra.ai","retrievedAt":"2026-05-05","status":"self-reported","url":"https://imandra.ai"}],"stage":null,"stockCard":{"asOf":"2026-11-09","facts":[],"generatedAt":"2026-11-09","state":"insufficient-evidence","tldr":[]},"techStack":["reCAPTCHA","Google Cloud CDN","Google Tag Manager","web-vitals","Google Cloud","React","Webpack","PHP","next.js"],"totalRaisedUsd":11000000,"traction":[],"updatedAt":"2026-05-05","valuations":[]}