Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers
Wenxin Li, Wenchao Liu, Weihao Li +5
We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations. For piecewise-linear activations, the Exact Logarithmi…
cs.LG2025
Towards Provable and Scalable Training of Quantized Neural Networks with Ising Optimization
Wenxin Li, Chuan Wang, Hongdong Zhu +4
Training quantized neural networks remains fundamentally challenging due to non-convex loss landscapes and discrete parameter spaces. We introduce an exact Quadratic Constrained Bi…