conftrace_

decision variables

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

karp reductions (1) optimization formulations (1) feasibility (1) equivalence checking (1) large language model (1)

Papers

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations ICML 2025