3/3/2021 Quantum Matter Seminar
Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
https://youtu.be/EXpmbAfBNnw Speaker: Jason Rute, CIBO Technologies Title: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models Abstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying […]
The Ramanujan Machine: Using Algorithms for the Discovery of Conjectures on Mathematical Constants
https://youtu.be/h0FW7l7z-C4 Speaker: Ido Kaminer, Technion – Israel Institute of Technology, Faculty of Electrical Engineering Title: The Ramanujan Machine: Using Algorithms for the Discovery of Conjectures on Mathematical Constants Abstract: In the past, new conjectures about fundamental constants were discovered sporadically by famous mathematicians such as Newton, Euler, Gauss, and Ramanujan. The talk will present a […]
Exact symmetries and threshold states in two-dimensional models for QCD
Speaker: Silviu Pufu (Princeton University) Title: Exact symmetries and threshold states in two-dimensional models for QCD Abstract: Two-dimensional QCD models form an interesting playground for studying phenomena such as confinement and screening. In this talk I will describe one such model, namely a 2d SU(N) gauge theory with an adjoint and a fundamental fermion, and […]