Author

Henry W Robbins

h-index 1 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

This work develops FLARE (Formulation-Level Automated Reformulation Evaluation), a method that uses an LLM-based agent and the Lean proof assistant to verify proposed reformulations against a reference formulation to enable reliable verification in automated optimization modeling.

Henry W Robbins, Connor Lawless, Madeleine Udell et al. · 1 citation