2 papers
quant-ph2026
A Counterexample to the Optimality Conjecture in Convex Quantum Channel Optimization
Jianting Yang
This paper presents a counterexample to the optimality conjecture in convex quantum channel optimization proposed by Coutts et al. The conjecture posits that for nuclear norm minim…
cs.LG2025
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang, SreÄko ÃuraÅ¡inoviÄ, Srećko Ðurašinović +3
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and…