@misc{indiciae4bdae0202b26,
  title = {EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations},
  author = {Haotian Zhai and Connor Lawless and Ellen Vitercik and Liu Leqi},
  year = {2025},
  url = {https://arxiv.org/abs/2502.14760},
  note = {Source identifier: 2502.14760}
}