EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations.

Haotian Zhai, Connor Lawless, Ellen Vitercik, Liu Leqi

Browse the full ICML paper archive.