Ben Caldwell

202320246 1

Adrian LehmannUniversity of UChicagoVerified email at uchicago.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu

Ben Caldwell

Verified email at uchicago.edu - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
VyZX: A Vision for Verifying the ZX Calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022	6	2022
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	1	2023

The system can't perform the operation now. Try again later.

Articles 1–2

Citations per year