1. On small-depth Frege proofs for PHP;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
2. Quantum Depth in the Random Oracle Model;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
3. NP-Hardness of Approximating Meta-Complexity: A Cryptographic Approach;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
4. Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
5. Optimal Explicit Small-Depth Formulas for the Coin Problem;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02