Showing quant-phShow all
3 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
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
Weichen Winston Yin, Jacob M. Taylor, Dirk R. Englund +1
Formalizing mathematics in a proof assistant, where a machine checks every definition, statement and proof, has set a new standard of rigor. Large language models are now capable o…
quant-ph2025
Hardware Co-Designed Optimal Control for Programmable Atomic Quantum Processors via Reinforcement Learning
Qian Ding, Dirk Englund
Developing scalable, fault-tolerant atomic quantum processors requires precise control over large arrays of optical beams. This remains a major challenge due to inherent imperfecti…