In the 2020-2021 academic year, the CMSA will be hosting a lecture series on Strongly Correlated Materials and High Tc Superconductor. All talks will take place from 10:30-12:00pm ET virtually on Zoom. […]
Speaker: 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 […]
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 […]