Previous MATH-AI Workshops
- 2nd MATH-AI Workshop at NeurIPS’22: Toward Human-Level Mathematical Reasoning
- 1st MATH-AI Workshop at ICLR’21: The Role of Mathematical Reasoning in General Artificial Intelligence
- MATHAI4ED Workshop at NeurIPS’21: Math AI for Education: Bridging the Gap Between Research and Smart Education
If you’d like to become a reviewer for the workshop, or recommend someone, please use this form.
Mathematical reasoning is a fundamental aspect of human cognition that has been studied by scholars ranging from philosophers to cognitive scientists and neuroscientists. Mathematical reasoning involves analyzing complex information, identifying patterns and relationships, and drawing logical conclusions from evidence. It is central to many applications in science, engineering, finance, and everyday contexts.
Recent advancements in large language models (LLMs) have unlocked new opportunities at the intersection of artificial intelligence and mathematical reasoning, ranging from new methods that solve complex problems or prove theorems, to new forms of human-machine collaboration in mathematics and beyond.
Our proposed workshop is centered on the intersection of deep learning and mathematical reasoning, with an emphasis on, but not limited to, large language models. Our guiding theme is:
“To what extent can machine learning models comprehend mathematics, and what applications could arise from this capability?”
To address this question, we aim to bring together a diverse group of scholars from different backgrounds, institutions, and disciplines into our workshop. Our objective is to foster a lively and constructive dialogue on areas related, but not limited, to the following:
- Humans vs. machines: A comparative study of human-level mathematical reasoning and current AI techniques. How do they differ, complement one another, or intersect?
- Measuring mathematical reasoning: How do we design benchmarks which accurately evaluate mathematical reasoning abilities, especially in an era of large language models?
- New capabilities: How do we move beyond our current techniques?
- Education: What role can deep learning models play in mathematics education, especially in contexts with limited educational resources?
- Applications: What applications could AI systems enable in the near- and long-term? Example domains include software verification, sciences, engineering, finance, education, and mathematics itself.
Speakers & Panelists
Guy Van den Broeck
Noah D. Goodman
University of Cambridge
FAIR Labs North America, Meta
Yuhuai (Tony) Wu
University of Cambridge
- NeurIPS’22 Workshop on MATH-AI - Toward Human-Level Mathematical Reasoning
- NeurIPS’21 workshop on MATHAI4ED - Math AI for Education: Bridging the Gap Between Research and Smart Education
- ICLR’21 workshop on MATH-AI - The Role of Mathematical Reasoning in General Artificial Intelligence
- NeurIPS’20 Workshop on KR2ML - Knowledge Representation & Reasoning Meets Machine Learning
- NeurIPS’20 workshop on Advances and Opportunities: Machine Learning for Education
- ICML’20 workshop on Bridge Between Perception and Reasoning: Graph Neural Networks & Beyond