Folgen
Adrian Lehmann
Adrian Lehmann
University of UChicago
Bestätigte E-Mail-Adresse bei uchicago.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
VyZX: a vision for verifying the ZX calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
62022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
12023
ViCAR: Visualizing Categories with Automated Rewriting in Coq
B Shah, W Spencer, L Zielinski, B Caldwell, A Lehmann, R Rand
arXiv preprint arXiv:2404.08163, 2024
2024
Formal Verification of a Graphical Language
A Lehmann, BCB Shah, R Rand
VyZX: Verifying the ZX Calculus
A Lehmann, B Caldwell
Schleifenausrollen mit nicht konstanten Grenzen in FIRM
AE Lehmann
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6