Timezone: »
Poster Session 1
Jiaqi Chen · Tanglin Xia · Sean Welleck · Jiacheng Liu · Ran Gong · Shifeng Huang · Wei Yu · Tracy Jia Shen
Tue Dec 14 10:00 AM -- 10:30 AM (PST) @
Event URL: https://eventhosts.gather.town/app/ysm3f4SN6wfVm7rn/matheai4ed-poster-room-1 »
Please join us in GatherTown for our poster session. The posters are as follows:
33833 Geometric Question Answering Towards Multimodal Numerical Reasoning
33832 Towards Diagram Understanding and Cognitive Reasoning in Icon Question Answering
33830 Towards Grounded Natural Language Proof Generation
33828 Theorem-Aware Geometry Problem Solving with Symbolic Reasoning and Theorem Prediction
33827 REAL2: An end-to-end memory-augmented solver for math word problems
33826 GeoRE: A Relation Extraction Dataset for Chinese Geometry Problems
33823 MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education
Author Information
Jiaqi Chen (SUN YAT-SEN UNIVERSITY)
Tanglin Xia (UCLA)
Sean Welleck (University of Washington)
Jiacheng Liu (Department of Computer Science, University of Washington)
Ran Gong (University of California, Los Angeles)
Shifeng Huang (CVTE Research)
Wei Yu (National University of Defense Technology)
Tracy Jia Shen (The Pennsylvania State University)
More from the Same Authors
-
2021 : NaturalProofs: Mathematical Theorem Proving in Natural Language »
Sean Welleck · Jiacheng Liu · Ronan Le Bras · Hanna Hajishirzi · Yejin Choi · Kyunghyun Cho -
2021 : IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning »
Pan Lu · Liang Qiu · Jiaqi Chen · Tanglin Xia · Yizhou Zhao · Wei Zhang · Zhou Yu · Xiaodan Liang · Song-Chun Zhu -
2021 : MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education »
Tracy Jia Shen · Michiharu Yamashita · Ethan Prihar · Neil Heffernan · Xintao Wu · Ben Graff · Dongwon Lee -
2021 : GeoRE: A Relation Extraction Dataset for Chinese Geometry Problems »
Wei Yu · Shuyu Miao · Xun Zhou · Jingdong Liu · Yongfu Zha · Yongjian Zhang · Mengzhu Wang · Xiaodong Wang -
2021 : REAL2: An end-to-end memory-augmented solver for math word problems »
Shifeng Huang · Jiawei Wang · Jiao Xu · Da Cao · Ming Yang -
2021 : Theorem-Aware Geometry Problem Solving with Symbolic Reasoning and Theorem Prediction »
Pan Lu · Ran Gong · Shibiao Jiang · Liang Qiu · Siyuan Huang · Xiaodan Liang · Song-Chun Zhu · Ran Gong -
2021 : Towards Grounded Natural Language Proof Generation »
Sean Welleck · Jiacheng Liu · Yejin Choi -
2021 : Towards Diagram Understanding and Cognitive Reasoning in Icon Question Answering »
Pan Lu · Liang Qiu · Jiaqi Chen · Tanglin Xia · Yizhou Zhao · Wei Zhang · Zhou Yu · Xiaodan Liang · Song-Chun Zhu -
2021 : Geometric Question Answering Towards Multimodal Numerical Reasoning »
Jiaqi Chen · Jianheng Tang · Jinghui Qin · Xiaodan Liang · Lingbo Liu · Eric Xing · Liang Lin -
2022 : Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs »
Albert Jiang · Sean Welleck · Jin Peng Zhou · Timothee Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu -
2022 : LILA: A Unified Benchmark for Mathematical Reasoning »
Swaroop Mishra · Matthew Finlayson · Pan Lu · Leonard Tang · Sean Welleck · Chitta Baral · Tanmay Rajpurohit · Oyvind Tafjord · Ashish Sabharwal · Peter Clark · Ashwin Kalyan -
2022 Poster: NaturalProver: Grounded Mathematical Proof Generation with Language Models »
Sean Welleck · Jiacheng Liu · Ximing Lu · Hannaneh Hajishirzi · Yejin Choi -
2022 Poster: Learn to Explain: Multimodal Reasoning via Thought Chains for Science Question Answering »
Pan Lu · Swaroop Mishra · Tanglin Xia · Liang Qiu · Kai-Wei Chang · Song-Chun Zhu · Oyvind Tafjord · Peter Clark · Ashwin Kalyan -
2021 : Towards Grounded Natural Language Proof Generation »
Jiacheng Liu -
2021 : MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education »
Tracy Jia Shen -
2021 : NaturalProofs: Mathematical Theorem Proving in Natural Language »
Sean Welleck · Jiacheng Liu · Ronan Le Bras · Hanna Hajishirzi · Yejin Choi · Kyunghyun Cho