Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor Carboni Oliveira. LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic. In 62nd IEEE Annual Symposium on Foundations of Computer Science, FOCS 2021, Denver, CO, USA, February 7-10, 2022. pages 770-780, IEEE, 2021. [doi]
Abstract is missing.