1. On the Consistency of Circuit Lower Bounds for Non-deterministic Time;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
2. Circular (Yet Sound) Proofs in Propositional Logic;ACM Transactions on Computational Logic;2023-04-07
3. A Logical Autobiography;Outstanding Contributions to Logic;2021-09-25
4. Reflections on Proof Complexity and Counting Principles;Outstanding Contributions to Logic;2021-09-25
5. Iterated lower bound formulas: a diagonalization-based approach to proof complexity;Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing;2021-06-15