TY  - RPRT
TI  - EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
AU  - Haotian Zhai
AU  - Connor Lawless
AU  - Ellen Vitercik
AU  - Liu Leqi
PY  - 2025
UR  - https://arxiv.org/abs/2502.14760
ID  - 2502.14760
ER  -