AI for Mathematics and Theoretical Computer Science
Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
Simons' Institute simons.berkeley.edu
Programs, Events, and workshops, that aim toward maximizing impact and engagement across the theoretical computer science community.
-
Math AI Seminar math.washington.edu
University of Washington research seminar on formalization, theorem proving, mathematical AI, and machine-learning applications in mathematics, with a multi-year event archive.
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
Comprehensive Mathematics for Computer Scientists springer.com
A series dedicated to math topics and their relevance to computer science.
-
Anil Ada. Great Ideas in Theoretical Computer Science. CMU youtube.com
A series of lectures on selected notable topics in theoretical computer science.
-
Mathematics and AI sites.math.washington.edu
University of Washington Fall 2025 graduate course with public slides, Lean examples, projects, and readings on machine learning, formalization, autoformalization, mathematical discovery, and ethics.
Math › Mathematical Practice > AI for Mathematics: “Simons Institute and SLMath workshop archive with recorded talks on proof assistants, automated reasoning, machine learning, and mathematical discovery.”