All Stories

  1. Scalable Equivalence Checking and Verification of Shallow Quantum Circuits

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Xuan Du Trinh, Xuan Du Trinh