17:58
2026-08-27
arxiv.org
artificial-intelligence
Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
Researchers introduced FLARE (Formulation-Level Automated Reformulation Evaluation), an LLM-based agent paired with the Lean proof assistant that verifies MILP reformulations and produces machine-chec…