3 papers
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…
cs.NI2023
Quantum Computing for MIMO Beam Selection Problem: Model and Optical Experimental Solution
Yuhong Huang, Wenxin Li, Chengkang Pan +9
Massive multiple-input multiple-output (MIMO) has gained widespread popularity in recent years due to its ability to increase data rates, improve signal quality, and provide better…