The IMR program seeks to develop automated repair methods and tools that protect modern electronic markets from adversaries exploiting public interfaces to cause disruption, addressing gaps in current legal and regulatory protections focused mainly on profit-seeking manipulation. It aims to combine LLM-based automation with rigorous modeling and analysis to automatically model market designs, identify hidden weaknesses, and recommend and analyze repairs that make markets fundamentally more resilient. The effort includes developing formal notations for machine-analyzable market models from informal sources such as regulatory filings and technical specifications, and formulating and assessing “resilience conjectures” about desirable market properties.

The IMR program aims to develop automated repair methods that protect essential economic sectors—and the civilian and military critical resources relying on them—from attacks exploiting the public interfaces of modern markets, which current legal and regulatory protections do not adequately address. It combines Large Language Model-based automation with rigorous modeling and analysis to identify hidden market weaknesses and recommend remediations. The effort will create formal notations and machine-analyzable models from informal sources such as regulatory filings and technical specifications. Against these models, IMR will formulate and assess resilience conjectures—mathematical statements about desirable market properties—to prove specific resilience or generate counterexamples that expose concrete weaknesses. Those counterexamples will then be used to refine conjectures and recommend and confirm repairs intended to make U.S. markets fundamentally more resilient to disruption.

The IMR program seeks to develop automated tools that protect modern electronic markets from adversaries exploiting public interfaces to cause disruption or economic damage. It combines LLM-based automation with formal modeling and analysis to create machine-analyzable market models from informal descriptions, identify hidden weaknesses, and formulate “resilience conjectures.” The program will analyze these conjectures to prove resilience or generate concrete counterexamples, then use them to recommend and confirm repairs to market designs. This capability is intended to protect U.S. markets and the civilian and military critical resources that depend on them, addressing gaps in current legal and regulatory protections focused on profit-seeking manipulation.