Formal verification

Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
Formal verification is becoming increasingly practical for quantum computing, yet the ability of AI agents to construct …
PDF Cite DOI
Benchmarking Agents for Proving Theorems in Quantum Algorithms and Quantum Information
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
An Agentic Formalization for Certified Quantum Neural Network Design
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and …
PDF Cite Code DOI
An Agentic Formalization for Certified Quantum Neural Network Design
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