11 citations · 11 across the 5 of their papers we have counts for
5 papers
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…
A versatile coherent Ising computing platform
Hai Wei, Chengjun Ai, Putuo Guo +12
Coherent Ising Machines (CIMs) have emerged as a hybrid form of quantum computing devices designed to solve NP-complete problems, offering an exciting opportunity for discovering o…
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…
Multi-Objective Routing Optimization Using Coherent Ising Machine in Wireless Multihop Networks
Yu-Xuan Lin, Chu-Yao Xu, Chuan Wang
Multi-objective combinatorial optimization in wireless communication networks is a challenging task, particularly for large-scale and diverse topologies. Recent advances in quantum…
Combinatorial optimization solving by coherent Ising machines based on spiking neural networks
Bo Lu, Yong-Pan Gao, Kai Wen +1
Spiking neural network is a kind of neuromorphic computing that is believed to improve the level of intelligence and provide advantages for quantum computing. In this work, we addr…