research
∙
12/19/2022
Localizability of the approximation method
We use the approximation method of Razborov to analyze the locality barr...
share
research
∙
11/20/2021
Learning algorithms versus automatability of Frege systems
We connect learning algorithms and algorithms automating proof search in...
research
∙
12/28/2020
Learning algorithms from circuit lower bounds
We revisit known constructions of efficient learning algorithms from var...
research
∙
11/19/2019