GitHub - naproche/school: Website for the EuroProofNet School on Natural Formal Mathematics

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
.nojekyll		.nojekyll
EuclidsLemma02_24.ftl.zip		EuclidsLemma02_24.ftl.zip
NaFoMa 2025-06-03 (1) - Peter Koepke - Naproche - Talking to ATPs.pdf		NaFoMa 2025-06-03 (1) - Peter Koepke - Naproche - Talking to ATPs.pdf
NaFoMa 2025-06-03 (2) - Josef Urban - AI in Formal Mathematics.pdf		NaFoMa 2025-06-03 (2) - Josef Urban - AI in Formal Mathematics.pdf
NaFoMa 2025-06-03 (3) - Julie Cailler - Goéland - A Concurrent Tableau-Based ATP that Produces Machine-Checkable Proofs.pdf		NaFoMa 2025-06-03 (3) - Julie Cailler - Goéland - A Concurrent Tableau-Based ATP that Produces Machine-Checkable Proofs.pdf
NaFoMa 2025-06-03 (4) - Adam Naumowicz - Mizar.pdf		NaFoMa 2025-06-03 (4) - Adam Naumowicz - Mizar.pdf
NaFoMa 2025-06-04 (1) - Stephan Schulz - Superposition and E (and ATP in general) in the Age of “Artificial Intelligence”.pdf		NaFoMa 2025-06-04 (1) - Stephan Schulz - Superposition and E (and ATP in general) in the Age of “Artificial Intelligence”.pdf
NaFoMa 2025-06-04 (2) - Moa Johansson - AI for Mathematical Discovery - Symbolic, Neural and Neuro-Symbolic Methods.pdf		NaFoMa 2025-06-04 (2) - Moa Johansson - AI for Mathematical Discovery - Symbolic, Neural and Neuro-Symbolic Methods.pdf
NaFoMa 2025-06-04 (3) - Martin Suda - Efficient Neural Clause-Selection Reinforcement.pdf		NaFoMa 2025-06-04 (3) - Martin Suda - Efficient Neural Clause-Selection Reinforcement.pdf
NaFoMa 2025-06-04 (4) - Adrian De Lon - Naproche-ZF.pdf		NaFoMa 2025-06-04 (4) - Adrian De Lon - Naproche-ZF.pdf
NaFoMa 2025-06-05 (1) - Roussanka Loukanova - Approaches to Computational Grammar of Natural Language.pdf		NaFoMa 2025-06-05 (1) - Roussanka Loukanova - Approaches to Computational Grammar of Natural Language.pdf
NaFoMa 2025-06-05 (2) - David M. Cerna - Anti-unification - The Other Operation.pdf		NaFoMa 2025-06-05 (2) - David M. Cerna - Anti-unification - The Other Operation.pdf
NaFoMa 2025-06-05 (3) - Adam Dingle - Natty.pdf		NaFoMa 2025-06-05 (3) - Adam Dingle - Natty.pdf
NaFoMa_1.jpg		NaFoMa_1.jpg
NaFoMa_2.jpg		NaFoMa_2.jpg
NaFoMa_3.jpg		NaFoMa_3.jpg
Slides.zip		Slides.zip
favicon.ico		favicon.ico
index.html		index.html