`

( events)   Timezone: »  
Workshop
Tue Dec 14 08:55 AM -- 06:05 PM (PST)
Math AI for Education (MATHAI4ED): Bridging the Gap Between Research and Smart Education
Pan Lu · Yuhuai Wu · Sean Welleck · Xiaodan Liang · Eric Xing · James McClelland





Workshop Home Page

Mathematical reasoning is a unique aspect of human intelligence and a fundamental building block for scientific and intellectual pursuits. However, learning mathematics is often a challenging human endeavor that relies on expert instructors to create, teach and evaluate mathematical material. From an educational perspective, AI systems that aid in this process offer increased inclusion and accessibility, efficiency, and understanding of mathematics. Moreover, building systems capable of understanding, creating, and using mathematics offers a unique setting for studying reasoning in AI. This workshop will investigate the intersection of mathematics education and AI, including applications to teaching, evaluation, and assisting. Enabling these applications requires not only innovations in math AI research, but also a better understanding of the challenges in real-world education scenarios. Hence, we will bring together a group of experts from a diverse set of backgrounds, institutions, and disciplines to drive progress on these and other real-world education scenarios, and to discuss the promise and challenge of integrating mathematical AI into education.

Introduction and Opening Remarks (Remarks)
Introduction of the talk speaker (Introduction)
Talk by Professor Song-Chun Zhu (Invited Talk)
Talk Q&A (Q&A)
Introduction of the talk speaker (Introduction)
Talk by Professor Mrinmaya Sachan (Invited Talk)
Talk Q&A (Q&A)
Poster Session 1 (Poster Session)
Coffee Break (Break)
Interview with Stephen Wolfram (Interview)
Lunch Break (Break)
Introduction of the talk speaker (Introduction)
Talk by Professor Hannaneh Hajishirzi (Invited Talk)
Talk Q&A (Q&A)
Introduction of the talk speaker (Introduction)
Talk by Dr. Yuri Burda (Invited Talk)
Talk Q&A (Q&A)
Introduction of the talk speaker (Introduction)
Talk by Professor Kurt Vanlehn (Invited Talk)
Talk Q&A (Q&A)
Poster Session 2 (Poster Session)
Coffee Break (Break)
Introduction of the talk speaker (Introduction)
Talk by Sumeet Singh (Invited Talk)
Talk Q&A (Q&A)
Introduction of the contributed talk speaker (Introduction)
Contributed Talk 1: MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education (Contributed Talk)
Contributed Talk Q&A (Q&A)
Introduction of the contributed talk speaker (Introduction)
Contributed Talk 2: Towards Grounded Natural Language Proof Generation (Contributed Talk)
Contributed Talk Q&A (Q&A)
Coffee Break (Break)
Panel Discussion (Panel)
Closing Remarks (Remarks)
Towards Diagram Understanding and Cognitive Reasoning in Icon Question Answering (Poster)
Geometric Question Answering Towards Multimodal Numerical Reasoning (Poster)
Evaluation of mathematical questioning strategies using data collected through weak supervision (Poster)
An Empirical Study of Finding Similar Exercises (Poster)
MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education (Poster)
REAL2: An end-to-end memory-augmented solver for math word problems (Poster)
Exploring Student Representation For Neural Cognitive Diagnosis (Poster)
GeoRE: A Relation Extraction Dataset for Chinese Geometry Problems (Poster)
Phygital Math Learning with Handwriting for Kids (Poster)
Theorem-Aware Geometry Problem Solving with Symbolic Reasoning and Theorem Prediction (Poster)
Who Gets the Benefit of the Doubt? Racial Bias in Machine Learning Algorithms Applied to Secondary School Math Education (Poster)
Gamifying Math Education using Object Detection (Poster)
Towards Grounded Natural Language Proof Generation (Poster)