Learning algorithms versus automatability of Frege systems - Pich, J; Santhanam, R (LIPIcs, 2022)