Abstract: We will present a viewpoint on the general structure of reinforcement learning for proofs, following examples of the classification of algebraic structures, and the classification of triangulations. We then look at perspectives for the application to proofs in set theory, and relate this to the context of the Malinca ERC Synergy project.

Click here to convert to your local time: 12th March 14:00 CET

Click here to download the slides.