vix.ing
·
top
·
new
·
best
·
stats
·
spec
Kfir Sulimany
A Machine-Verified Proof of a Quantum-Optimization Conjecture
2026/06/29 by
Uri Kol
,
Maor Ben-Shahar
,
Kfir Sulimany
+1 · 2 voices
Physics and Astronomy
·
Computer Science
·
Mathematics
·
#quant-ph
#cs.AI
#cs.LG
#cs.LO
#math.OC