A harness for AI agents enabled construction of a Rust library with 100+ problem types and 200+ reduction rules for NP-hard problems in three months.
Ising formulations of many NP problems
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A quantum-assisted co-design method jointly optimizes controller gains and Lyapunov stability parameters online for nonlinear systems by contracting the search space, building an Ising Hamiltonian via quadratic surrogate, and using imaginary time evolution with re-evaluation.
citing papers explorer
-
Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems
A harness for AI agents enabled construction of a Rust library with 100+ problem types and 200+ reduction rules for NP-hard problems in three months.
-
Dynamic Quantum-Assisted Co-Design of Control Tuning and Lyapunov Stability Synthesis for Nonlinear Systems
A quantum-assisted co-design method jointly optimizes controller gains and Lyapunov stability parameters online for nonlinear systems by contracting the search space, building an Ising Hamiltonian via quadratic surrogate, and using imaginary time evolution with re-evaluation.