finite field arithmetic 1photonic quantum computing 1quantum linear solver 1regularization 1variational algorithms 1
From the 1 of 7 linked papers with an AI index.
Showing cs.LGShow all
3 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
Quantum-Classical Hybrid Quantized Neural Network
Wenxin Li, Chuan Wang, Hongdong Zhu +4
In this work, we introduce a novel Quadratic Binary Optimization (QBO) framework for training a quantized neural network. The framework enables the use of arbitrary activation and…
cs.LG2025
Quantum-Boosted High-Fidelity Deep Learning
Feng-ao Wang, Shaobo Chen, Yao Xuan +12
A fundamental limitation of probabilistic deep learning is its predominant reliance on Gaussian priors. This simplistic assumption prevents models from accurately capturing the com…