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 […]
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 […]
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 […]