conftrace_

equivalence checking

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) feasibility (1) decision variables (1) karp reductions (1) optimization formulations (1) program semantics (1) code understanding (1) semantic reasoning (1) program analysis (1) benchmark evaluation (1)

Papers

EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking EMNLP 2025 EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations ICML 2025