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
Organizers
Program Committee
- Albert Jiang
- Christian Walder
- Daniel Selsam
- David McAllester
- Ellena Glassmann
- Francois Charton
- Igor Babuschkin
- Jacques Fleuriot
- Jan Jakubuv
- Jesse Michael Han
- Kshitij Bansal
- Markus N Rabe
- Melanie Mitchell
- Minchao Wu
- Navin Goyal
- Nicholas Smallbone
- Pashootan Vaezipoor
- Petros Papapanagiotou
- Qingxiang Wang
- Ramana Kumar
- Somak Aditya
- Stanislas Polu
- Vlad Firoiu
- Wenda Li
- Yuhuai Tony Wu
Related Venues
- Conference on Artificial Intelligence and Theorem Proving (AITP)
- Conference on Intelligent Computer Mathematics (CICM)
- Workshop on Big proof
- Workshop on Neural-Symbolic Learning and Reasoning (NeSys’19), see more on http://www.neural-symbolic.org/
- Workshop on Knowledge Representation & Reasoning Meets Machine Learning (KR2ML’20)
Contact: mathai.iclr2021@gmail.com.