11 citations · 11 across the 5 of their papers we have counts for
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, Anzhe Jiang +6
We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations. For piecewise activations (both continuous piecewise-l…
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…