138 citations · 283 across the 18 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
quant-ph2026
Quantum Cryptography and Autoformalization in Lean
Maor Ben Shahar, Jonathan Morag, Dirk Englund +1
Quantum key distribution provides secure communication by relying on physics principles and mathematical reasoning. Security proofs across the field can contain gaps, often between…
quant-ph2026
A Machine-Verified Proof of a Quantum-Optimization Conjecture
Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1
We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth- Quantum Approx…