Picture for Ján Pich

Ján Pich

Learning algorithms versus automatability of Frege systems

Add code
Nov 20, 2021
Viaarxiv icon

Learning algorithms from circuit lower bounds

Add code
Dec 28, 2020
Viaarxiv icon