TY  - RPRT
TI  - FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving
AU  - Henry Robbins
AU  - Connor Lawless
AU  - Madeleine Udell
AU  - Ellen Vitercik
PY  - 2026
UR  - https://arxiv.org/abs/2608.25220
ID  - 2608.25220
ER  -