Overview

The machine learning community in the past decade has greatly advanced methods for recognizing perceptual patterns (e.g., image recognition, object detection), thanks to advancements in neural network research. However, one defining property of advanced intelligence – reasoning – requires a much deeper understanding of the data beyond the perceptual level; it requires extraction of higher-level symbolic patterns or rules. Unfortunately, deep neural networks have not yet demonstrated the ability to succeed in reasoning.

In this workshop, we focus on a particular kind of reasoning ability, namely, mathematical reasoning. Advanced mathematical reasoning is unique in human intelligence, and it is also a fundamental building block for many intellectual pursuits and scientific developments. We believe that addressing this problem has the potential to shed light on a path towards general reasoning mechanisms, and hence general artificial intelligence. Therefore, we would like to bring together a group of experts from various backgrounds to discuss the role of mathematical reasoning ability towards the path of demonstrating general artificial intelligence. In addition, we hope to identify missing elements and major bottlenecks towards demonstrating mathematical reasoning ability in AI systems.

To fully address these questions, we believe that it is crucial to hear from experts in various fields: machine learning/AI leaders who assess the possibility of the approach; cognitive scientists who study human reasoning for mathematical problems; formal reasoning specialists who work on automated theorem proving; mathematicians who work on informal math theorem proving. We hope that the outcome of the workshop will lead us in meaningful directions towards a generic approach to mathematical reasoning, and shed light on general reasoning mechanisms for artificial intelligence.


Speakers & Panelists

Yoshua Bengio
Yoshua Bengio
Mila, Université de Montréal
Timothy Gowers
Timothy Gowers
Collège de France
Mateja Jamnik
Mateja Jamnik
University of Cambridge
Jay McClelland
Jay McClelland
Stanford University
Alison Pease
Alison Pease
University of Dundee
Markus Rabe
Markus Rabe
Google
Josef Urban
Josef Urban
Czech Technical University in Prague
More Info

Organizers

Yuhuai (Tony) Wu
Yuhuai (Tony) Wu
University of Toronto
Kshitij Bansal
Kshitij Bansal
Facebook
Wenda Li
Wenda Li
University of Cambridge
Melanie Mitchell
Melanie Mitchell
Santa Fe Institute
David McAllester
David McAllester
TTI Chicago
John Harrison
John Harrison
Amazon

Program Committee


Related Venues


Contact: mathai.iclr2021@gmail.com.