@article{robbins2026flare,
	title={{FLARE}: Verifying {MILP} Reformulations with {LLM}-Based Theorem Proving},
	author={Henry Robbins and Connor Lawless and Madeleine Udell and Ellen Vitercik},
	year={2026},
	eprint={2608.25220},
	archivePrefix={arXiv},
	primaryClass={cs.AI},
	url={https://flare.henryrobbins.com/},
}