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 explicit way with precise computer-readable syntax and semantics. It is based on a single natural language (which for us is English) and can be broadly […]
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 the mathematical foundations of the universal bosonic sector of four-dimensional ungauged supergravity and its Killing spinor equations in a differential-geometric framework. I will provide the […]
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 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
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 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 […]