{"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":"fintech","investors":[],"lat":30.271129,"lng":-97.7437,"location":"austin, tx, usa","name":"Aesthetic Integration Research Corporation","rounds":[{"amountQuarantined":false,"amountUsd":1800000,"currency":"USD","date":"2025-01-01","investors":[],"leadInvestor":null,"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,"techStack":["reCAPTCHA","Google Cloud CDN","Google Tag Manager","web-vitals","Google Cloud","React","Webpack","PHP","next.js"],"totalRaisedUsd":11000000,"updatedAt":"2026-05-05"}