| Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra | 0 | 0.34 | 2022 |
| A Verified Optimizer for Quantum Circuits | 0 | 0.34 | 2021 |
| On the Principles of Differentiable Quantum Programming Languages | 0 | 0.34 | 2020 |
| Quantum-Proof Extractors: Optimal up to Constant Factors. | 0 | 0.34 | 2016 |
| Strong parallel repetition for free entangled games, with any number of players. | 0 | 0.34 | 2014 |
