Online Training of a Transformer-Based Automated Theorem Prover - 42Papers