The Composition Complexity of Majority - 2022-05-11
An Optimal Algorithm for Certifying Monotone Functions - 2022-05-03
Small Circuits Imply Efficient Arthur-Merlin Protocols - 2021-11-25
Smaller ACC0 Circuits for Symmetric Functions - 2021-11-17