A Mathematical Language
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]
Mathematical supergravity and its applications to differential geometry
HybridSpeaker: Carlos S. Shahbazi (Hamburg University) Title: Mathematical supergravity and its applications to differential geometry Abstract: I will discuss the recent developments in the mathematical theory of supergravity that lay […]
3/3/2021 Quantum Matter Seminar
Virtual
Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
Virtualhttps://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 […]
The Ramanujan Machine: Using Algorithms for the Discovery of Conjectures on Mathematical Constants
Virtualhttps://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 […]