2 papers
cs.AI2026
LLM-Driven Algorithm Design for Quantum Circuit Synthesis based on Binary Decision Diagrams
Yoonju Sim, Federico Berto, Chuanbo Hua +2
Quantum circuits are central to implementing quantum algorithms on quantum devices, where quantum gates must be reversible. Many quantum algorithms rely on Boolean functions, which…
cs.AI2025
Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
Yoonju Sim, Hyeonah Kim, Changhyun Kwon
The identification of valid inequalities, such as the rounded capacity inequalities (RCIs), is a key component of cutting plane methods for the Capacitated Vehicle Routing Problem…