Author

Chuan Wang

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Feb 2026

Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers

A hybrid Benders solver with output-sensitive iteration bounds is developed, leveraging a Helly-based conflict compression theory to avoid generic exponential cut explosion and establishes an unconditionally polynomial Benders iteration complexity in network size.

Wen-Xin Li, Wen-Chao Liu, An-Zhe Jiang et al. · 0 citations

#artificial intelligence Preprint Jun 2025

Towards Provable and Scalable Training of Quantized Neural Networks with Ising Optimization

This work introduces an exact Quadratic Constrained Binary Optimization (QCBO) framework with provable guarantees and describes the stratified topology of network zero-loss level sets, demonstrating resilience against low-bit representational collapse.

Wenxin Li, Chuan Wang, Hongdong Zhu et al. · 5 citations