Segui
Adrian Lehmann
Adrian Lehmann
University of UChicago
Email verificata su uchicago.edu - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–6