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 […]
12 events found.
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 […]
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 […]
Word and Graph Embeddings for Machine Learning
https://youtu.be/-DKctbabRkY Speaker: Steve Skiena, Dept. of Computer Science and AI Insititute, Stony Brook University Title: Word and Graph Embeddings for Machine Learning Abstract: DeepWalk is an approach we have developed […]
Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL
https://youtu.be/LZMtQNdqtvc Speaker: Lawrence Paulson, University of Cambridge Computer Laboratory Title: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL Abstract: Are proof assistants relevant to mathematics? One approach to this […]
Type theory from the perspective of artificial intelligence
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of […]
A Bayesian neural network predicts the dissolution of compact planetary systems
https://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for […]
Homotopy type theory and the quest for extensionality
Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to […]
The complexity of matrix multiplication approached via algebraic geometry and representation theory
https://youtu.be/leONsS4LiV4 Speaker: JM Landsberg, Texas A&M Title: The complexity of matrix multiplication approached via algebraic geometry and representation theory Abstract: In 1968 V. Strassen discovered the way we usually multiply […]
Threshold phenomena in random graphs and hypergraphs
Member Seminar Speaker: Michael Simkin Title: Threshold phenomena in random graphs and hypergraphs Abstract: In 1959 Paul Erdos and Alfred Renyi introduced a model of random graphs that is the cornerstone […]
Hyperbolic Geometry and Quantum Invariants
Speaker: Tian Yang (Texas A&M University) Title: Hyperbolic Geometry and Quantum Invariants Abstract: There are two very different approaches to 3-dimensional topology, the hyperbolic geometry following the work of Thurston and the quantum invariants […]
CMSA Colloquium 9/15/2021 – 5/25/2022
During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The […]