Quantum programming

Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Large language models are increasingly assisting with demanding formal theorem-proving tasks, particularly when grounded in …
PDF Cite Code DOI
Building Shor's Algorithm in Lean: An Agentic Formalization of Quantum Attacks on RSA-2048 and P-256
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning …
PDF Cite Code DOI
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
QSI: A Quantum Programming Environment
This paper describes a quantum programming environment, named $Q|SIångle$. It is a platform embedded in the .Net language that supports …
PDF Cite DOI
QSI: A Quantum Programming Environment BT - Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
PDF Cite DOI