Learning algorithms versus automatability of Frege systems (LIPIcs, 2022)

(untitled) - Pich, J; Santhanam, R