VyZX: Formal Verification of a Graphical Quantum Language [arxiv]
Adrian Lehmann*, Ben Caldwell*, Bhakti Shah, Robert Rand.
Submitted.

Visualizing Graphical Proofs in Coq [extended abstract] [poster]
Bhakti Shah.
ICFP '23 SRC, 🏆 Second Place (Undergraduate).

Integrating Dependency Building with Document Checking in Coq [extended abstract]
Emilio Jesús Gallego Arias, Bhakti Shah.
CoqPL'24.

A Lean Formalization of Cedar [extended abstract] [poster]
Bhakti Shah.
POPL '24 SRC, 🏆 Second Place (Undergraduate).