1. On the Pauli Spectrum of QAC0;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
3. Improving $$3N$$ Circuit Complexity Lower Bounds;computational complexity;2023-12
4. Top-Down Lower Bounds for Depth-Four Circuits;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
5. On small-depth Frege proofs for PHP;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06