Volgen
Adrian Lehmann
Adrian Lehmann
University of UChicago
Geverifieerd e-mailadres voor uchicago.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
VyZX: a vision for verifying the ZX calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
72022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
22023
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6