Workshops

Machine Learning for Algorithm Design

Visit talk page
Workshops

Solving semidecidable problems in group theory

Visit talk page
Workshops

Computer-Assisted Intuition: SAT Solvers in Mathematical Discovery

Visit talk page
Workshops

How can Machine Learning Help Mathematicians?

Visit talk page
Workshops

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

Visit talk page
Workshops

Adventures with an Automatic Prover

Visit talk page
Workshops

Proof assistants for logic, computability, and complexity

Visit talk page
Workshops

Challenges in State-of-the-Art Bit-Precise Reasoning

Visit talk page
Workshops

Lean for the research mathematician (Virtual Talk)

Visit talk page