Intrinsic Market Resilience (IMR)

The DARPA Intrinsic Market Resilience (IMR) program seeks innovative research to automatically model, analyze, and repair the design of modern electronic markets (e.g., equities, bonds, energy, cloud‑computing resources) to make them resilient against adversarial attacks that could cause economic disruption. The effort will develop formal notations, machine‑readable market models derived from regulatory filings and technical specifications, and “resilience conjectures” that mathematically capture desirable market properties. Using large‑language‑model‑driven automation, proposers will build tools that can (1) generate and test conjectures, (2) produce counter‑examples when a market is vulnerable, and (3) recommend concrete design repairs. The program emphasizes a blend of AI‑driven automation and rigorous formal analysis, with deliverables including prototype software, proof‑of‑concept demonstrations, and a roadmap for integrating the technology into U.S. market infrastructure. • Focus: R&D on automated modeling, formal verification, and AI‑assisted remediation of electronic market designs. • Expected effort: 30‑month period of performance, with a Rough Order of Magnitude budget (not disclosed). • Deliverables: Formal market description language, automated conjecture generation/verification engine, counter‑example generator, repair recommendation system, and demonstration on real‑world market scenarios. • Target audience: Researchers and engineers with expertise in formal methods, AI/LLM systems, financial market microstructure, and cybersecurity. • Submission: Abstracts (max 5 pages) via DARPA’s Broad Agency Announcement Tool (BAAT) for unclassified work; classified submissions follow a separate addendum.