Image de couverture de livre

VyZX: Formal Verification of a Graphical Quantum Language

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lehmann, Adrian, Caldwell, Ben, Shah, Bhakti, Spencer, William, Rand, Robert
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages Quantum Physics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

ViCAR: Visualizing Categories with Automated Rewriting in Coq
par: Shah, Bhakti, et autres
Publié: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
par: Huang, Qifan, et autres
Publié: (2025)

Formal Verification of Variational Quantum Circuits
par: Assolini, Nicola, et autres
Publié: (2025)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
par: Mints, Mikhail, et autres
Publié: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
par: Voichick, Finn, et autres
Publié: (2022)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
par: Voichick, Finn, et autres
Publié: (2023)

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
par: Kim, Sean, et autres
Publié: (2024)

TensorRocq: Enabling diagrammatic reasoning in Rocq
par: Caldwell, Benjamin, et autres
Publié: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

ZX Graphical Calculus for Continuous-Variable Quantum Processes
par: Nagayoshi, Hironari, et autres
Publié: (2024)

Verification of Recursively Defined Quantum Circuits
par: Ying, Mingsheng, et autres
Publié: (2024)

Type-Based Verification of Connectivity Constraints in Lattice Surgery
par: Wakizaka, Ryo, et autres
Publié: (2024)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2024)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
par: Younis, Ed
Publié: (2025)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
par: Mikuriya, Taku, et autres
Publié: (2025)

Quantum Programming Without the Quantum Physics
par: Inoue, Jun
Publié: (2024)

The Quantum Effect: A Recipe for QuantumPi
par: Carette, Jacques, et autres
Publié: (2023)

Finite-Dimensional ZX-Calculus for Loop Quantum Gravity
par: Priestley, Ben
Publié: (2025)

The Quantum Abstract Machine
par: Li, Liyi, et autres
Publié: (2024)

Analyzing Decoders for Quantum Error Correction
par: Molavi, Abtin, et autres
Publié: (2026)

Reversible Lifetime Semantics for Quantum Programs
par: Faro, Simone, et autres
Publié: (2026)

A Verified Compiler for Quantum Simulation
par: Li, Liyi, et autres
Publié: (2025)

Qudit Quantum Programming with Projective Cliffords
par: Paykin, Jennifer, et autres
Publié: (2024)

Optimizing Quantum Circuits, Fast and Slow
par: Xu, Amanda, et autres
Publié: (2024)

Borrowing Dirty Qubits in Quantum Programs
par: Su, Bonan, et autres
Publié: (2025)

Hadamard-Pi: Equational Quantum Programming
par: Fang, Wang, et autres
Publié: (2025)

Expressing and Analyzing Quantum Algorithms with Qualtran
par: Harrigan, Matthew P., et autres
Publié: (2024)

Quantum Simulation Programming via Typing
par: Li, Liyi, et autres
Publié: (2025)

Qafny: A Quantum-Program Verifier
par: Li, Liyi, et autres
Publié: (2022)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

HUGR: A Quantum-Classical Intermediate Representation
par: Koch, Mark, et autres
Publié: (2025)

Local Optimization of Quantum Circuits (Extended Version)
par: Arora, Jatin, et autres
Publié: (2025)

Scalable Memory Recycling for Large Quantum Programs
par: Reichental, Israel, et autres
Publié: (2025)

Qmod: Expressive High-Level Quantum Modeling
par: Vax, Matan, et autres
Publié: (2025)

A Comparison of Quantum Compilers using a DAG-based or phase polynomial-based Intermediate Representation
par: van de Griend, Arianne Meijer -
Publié: (2023)

Dependency-Aware Compilation for Surface Code Quantum Architectures
par: Molavi, Abtin, et autres
Publié: (2023)

Validating Quantum State Preparation Programs (Extended Version)
par: Li, Liyi, et autres
Publié: (2025)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
par: Fu, Jianling, et autres
Publié: (2024)

Verifying Fault-Tolerance of Quantum Error Correction Codes
par: Chen, Kean, et autres
Publié: (2025)