Citation

FLARE was introduced by FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving. If you use the milp-flare package, please cite:

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