关注
Bhakti Shah
Bhakti Shah
PhD Student, University of St. Andrews
在 st-andrews.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571, 2023
42023
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
12024
How we built Cedar: A verification-guided approach
C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ...
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
2024
Integrating Dependency Building with Document Checking in Coq
EJG Arias, B Shah
VyZX: Formal Verification of a Graphical Quantum Language with automated structural rewrites
A LEHMANN, BEN CALDWELL, B SHAH, R RAND
Visualizing Graphical Proofs in Coq
B SHAH
A Lean Formalization of Cedar
B SHAH
系统目前无法执行此操作，请稍后再试。
文章 1–7