Structured Factored Inference: A Framework for Automated Reasoning in Probabilistic Programming Languages. - Avi Pfeffer; Brian E. Ruttenberg; William Kretschmer (CoRR, 2016)

Structured Factored Inference for Probabilistic Programming. - Avi Pfeffer; Brian E. Ruttenberg; William Kretschmer; Alison O'Connor (AISTATS, 2018)

$ mathsf{QMA}$ Lower Bounds for Approximate Counting. - William Kretschmer (CoRR, 2019)

Quantum Lower Bounds for Approximate Counting via Laurent Polynomials. - Scott Aaronson; Robin Kothari; William Kretschmer; Justin Thaler (Electron. Colloquium Comput. Complex., 2019)

QMA Lower Bounds for Approximate Counting. - William Kretschmer (Electron. Colloquium Comput. Complex., 2019)

Quantum Pseudorandomness and Classical Complexity. - William Kretschmer (TQC, 2021)

The Acrobatics of BQP. - Scott Aaronson; DeVon Ingram; William Kretschmer (Electron. Colloquium Comput. Complex., 2021)

The Quantum Supremacy Tsirelson Inequality. - William Kretschmer (Quantum, 2021)

Lower Bounding the AND-OR Tree via Symmetrization. - William Kretschmer (ACM Trans. Comput. Theory, 2021)

Low-Stabilizer-Complexity Quantum States Are Not Pseudorandom. - Sabee Grewal; Vishnu Iyer; William Kretschmer; Daniel Liang (ITCS, 2023)

Quantum Cryptography in Algorithmica. - William Kretschmer; Luowen Qian; Makrand Sinha; Avishay Tal (STOC, 2023)

Quantum Mass Production Theorems. - William Kretschmer (TQC, 2023)

Two-Disk Compound Symmetry Groups. - Robert A. Hearn; William Kretschmer; Tomas Rokicki; Benjamin Streeter; Eric Vergo (CoRR, 2023)

Efficient Learning of Quantum States Prepared With Few Non-Clifford Gates. - Sabee Grewal; Vishnu Iyer; William Kretschmer; Daniel Liang (CoRR, 2023)

A Qubit, a Coin, and an Advice String Walk Into a Relational Problem. - Scott Aaronson; Harry Buhrman; William Kretschmer (Electron. Colloquium Comput. Complex., 2023)

Improved Stabilizer Estimation via Bell Difference Sampling. - Sabee Grewal; Vishnu Iyer; William Kretschmer; Daniel Liang (STOC, 2024)

Pseudoentanglement Ain't Cheap. - Sabee Grewal; Vishnu Iyer; William Kretschmer; Daniel Liang (CoRR, 2024)

Agnostic Tomography of Stabilizer Product States. - Sabee Grewal; Vishnu Iyer; William Kretschmer; Daniel Liang (CoRR, 2024)

Symmetries, Graph Properties, and Quantum Speedups. - Shalev Ben-David; Andrew M. Childs; András Gilyén; William Kretschmer; Supartha Podder; Daochen Wang (SIAM J. Comput., 2024)

Learning the Closest Product State. - Ainesh Bakshi; John Bostanci; William Kretschmer; Zeph Landau; Jerry Li 001; Allen Liu; Ryan O'Donnell; Ewin Tang (STOC, 2025)

Quantum-Computable One-Way Functions without One-Way Functions. - William Kretschmer; Luowen Qian; Avishay Tal (STOC, 2025)