Workshop
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
Tue 14 Dec, 8:55 a.m. PST
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.
Schedule
Tue 8:55 a.m. - 9:00 a.m.
|
Introduction and Opening Remarks
(
Remarks
)
>
SlidesLive Video |
🔗 |
Tue 9:00 a.m. - 9:01 a.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 9:01 a.m. - 9:26 a.m.
|
Solving Math Problems by Joint Parsing and Cognitive Reasoning
(
Invited Talk
)
>
link
SlidesLive Video |
Song-Chun Zhu 🔗 |
Tue 9:26 a.m. - 9:30 a.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 9:30 a.m. - 9:31 a.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 9:31 a.m. - 9:56 a.m.
|
Natural Language Processing meets Educational Data Science
(
Invited Talk
)
>
SlidesLive Video |
Mrinmaya Sachan 🔗 |
Tue 9:56 a.m. - 10:00 a.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 10:00 a.m. - 10:30 a.m.
|
Poster Session 1 ( Poster Session ) > link | Jiaqi Chen · Tanglin Xia · Sean Welleck · Jiacheng Liu · Ran Gong · Shifeng Huang · Wei Yu · Tracy Jia Shen 🔗 |
Tue 10:30 a.m. - 11:00 a.m.
|
Coffee Break
|
🔗 |
Tue 11:00 a.m. - 12:00 p.m.
|
Interview with Stephen Wolfram
(
Interview
)
>
SlidesLive Video |
Stephen Wolfram · Danielle R Mayer 🔗 |
Tue 12:00 p.m. - 1:00 p.m.
|
Lunch Break
|
🔗 |
Tue 1:00 p.m. - 1:01 p.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 1:01 p.m. - 1:26 p.m.
|
Understanding and Knowledge Extraction from Mathematical and Scientific Text
(
Invited Talk
)
>
SlidesLive Video |
Hanna Hajishirzi 🔗 |
Tue 1:26 p.m. - 1:30 p.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 1:30 p.m. - 1:31 p.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 1:31 p.m. - 1:56 p.m.
|
Free-form Grading of Math Assignments: A case study in collaboration with Art of Problem Solving
(
Invited Talk
)
>
SlidesLive Video |
Yuri Burda 🔗 |
Tue 1:56 p.m. - 2:00 p.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 2:00 p.m. - 2:01 p.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 2:01 p.m. - 2:26 p.m.
|
FACT: An automated teaching assistant for middle school math classrooms
(
Invited Talk
)
>
SlidesLive Video |
Kurt VanLehn 🔗 |
Tue 2:26 p.m. - 2:30 p.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 2:30 p.m. - 3:00 p.m.
|
Poster Session 2 ( Poster Session ) > link | Yueqiu Sun · Haewon Jeong · Nrupatunga . · Hengyao Bao · Tongwen Huang · Debajyoti Datta 🔗 |
Tue 3:00 p.m. - 3:30 p.m.
|
Coffee Break
|
🔗 |
Tue 3:30 p.m. - 3:31 p.m.
|
Introduction of the talk speaker
(
Introduction
)
>
|
🔗 |
Tue 3:31 p.m. - 3:56 p.m.
|
Weaving AI Into Education
(
Invited Talk
)
>
SlidesLive Video |
Sumeet Singh 🔗 |
Tue 3:56 p.m. - 4:00 p.m.
|
Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 4:00 p.m. - 4:01 p.m.
|
Introduction of the contributed talk speaker
(
Introduction
)
>
|
🔗 |
Tue 4:01 p.m. - 4:16 p.m.
|
MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education
(
Contributed Talk
)
>
link
SlidesLive Video |
Tracy Jia Shen 🔗 |
Tue 4:16 p.m. - 4:20 p.m.
|
Contributed Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 4:20 p.m. - 4:21 p.m.
|
Introduction of the contributed talk speaker
(
Introduction
)
>
|
🔗 |
Tue 4:21 p.m. - 4:36 p.m.
|
Towards Grounded Natural Language Proof Generation
(
Contributed Talk
)
>
link
SlidesLive Video |
Jiacheng Liu 🔗 |
Tue 4:36 p.m. - 4:40 p.m.
|
Contributed Talk Q&A
(
Q&A
)
>
|
🔗 |
Tue 4:40 p.m. - 5:00 p.m.
|
Coffee Break
|
🔗 |
Tue 5:00 p.m. - 6:00 p.m.
|
Panel Discussion
(
Panel
)
>
SlidesLive Video |
Jo Boaler · Yuri Burda · Chris Piech · Sumeet Singh · Kurt VanLehn 🔗 |
Tue 6:00 p.m. - 6:05 p.m.
|
Closing Remarks
(
Remarks
)
>
|
🔗 |
-
|
Evaluation of mathematical questioning strategies using data collected through weak supervision
(
Poster
)
>
SlidesLive Video |
Debajyoti Datta · Maria Phillips · James P. Bywater · Jennifer L. Chiu · Ginger S. Watson · Laura E Barnes · Donald Brown 🔗 |
-
|
An Empirical Study of Finding Similar Exercises
(
Poster
)
>
SlidesLive Video |
Tongwen Huang · Li Xihua · Tongwen Huang 🔗 |
-
|
MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education
(
Poster
)
>
SlidesLive Video |
Tracy Jia Shen · Michiharu Yamashita · Ethan Prihar · Neil Heffernan · Xintao Wu · Ben Graff · Dongwon Lee 🔗 |
-
|
Exploring Student Representation For Neural Cognitive Diagnosis
(
Poster
)
>
SlidesLive Video |
Hengyao Bao · Li Xihua 🔗 |
-
|
Phygital Math Learning with Handwriting for Kids
(
Poster
)
>
SlidesLive Video |
Nrupatunga . · Aashish Kumar · Anoop Kolar Rajagopal 🔗 |
-
|
GeoRE: A Relation Extraction Dataset for Chinese Geometry Problems
(
Poster
)
>
SlidesLive Video |
Wei Yu · Shuyu Miao · Xun Zhou · Jingdong Liu · Yongfu Zha · Yongjian Zhang · Mengzhu Wang · Xiaodong Wang 🔗 |
-
|
REAL2: An end-to-end memory-augmented solver for math word problems
(
Poster
)
>
SlidesLive Video |
Shifeng Huang · Jiawei Wang · Jiao Xu · Da Cao · Ming Yang 🔗 |
-
|
Theorem-Aware Geometry Problem Solving with Symbolic Reasoning and Theorem Prediction
(
Poster
)
>
SlidesLive Video |
Pan Lu · Ran Gong · Shibiao Jiang · Liang Qiu · Siyuan Huang · Xiaodan Liang · Song-Chun Zhu · Ran Gong 🔗 |
-
|
Who Gets the Benefit of the Doubt? Racial Bias in Machine Learning Algorithms Applied to Secondary School Math Education
(
Poster
)
>
SlidesLive Video |
Haewon Jeong · Michael D. Wu · Nilanjana Dasgupta · Muriel Medard · Flavio Calmon 🔗 |
-
|
Towards Grounded Natural Language Proof Generation
(
Poster
)
>
SlidesLive Video |
Sean Welleck · Jiacheng Liu · Yejin Choi 🔗 |
-
|
Gamifying Math Education using Object Detection
(
Poster
)
>
SlidesLive Video |
Rohitkrishna Nambiar · Yueqiu Sun · Vivek Vidyasagaran 🔗 |
-
|
Towards Diagram Understanding and Cognitive Reasoning in Icon Question Answering
(
Poster
)
>
SlidesLive Video |
Pan Lu · Liang Qiu · Jiaqi Chen · Tanglin Xia · Yizhou Zhao · Wei Zhang · Zhou Yu · Xiaodan Liang · Song-Chun Zhu 🔗 |
-
|
Geometric Question Answering Towards Multimodal Numerical Reasoning
(
Poster
)
>
SlidesLive Video |
Jiaqi Chen · Jianheng Tang · Jinghui Qin · Xiaodan Liang · Lingbo Liu · Eric Xing · Liang Lin 🔗 |