| VyZX: a vision for verifying the ZX calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022 | 10 | 2022 |
| VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023 | 5 | 2023 |
| 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 | 2 | 2024 |
| Schleifenausrollen mit nicht konstanten Grenzen in FIRM A Lehmann Karlsruhe Institute of Technology, 2019 | | 2019 |
| A u tomated Proof Generation for Associative and Distributive Rewriting with E-Graphs A LEHMANN, BEN CALDWELL, J REPPY, R RAND | | |
| VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites A LEHMANN, BEN CALDWELL, B SHAH, R RAND | | |
| VyZX: Verifying the ZX Calculus A Lehmann, B Caldwell | | |
Robert RandAssistant Professor of Computer Science, University of Chicago確認したメール アドレス: uchicago.edu