Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2105.04165
Cited By
v1
v2
v3 (latest)
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning
Annual Meeting of the Association for Computational Linguistics (ACL), 2021
10 May 2021
Pan Lu
Ran Gong
Shibiao Jiang
Liang Qiu
Siyuan Huang
Xiaodan Liang
Song-Chun Zhu
AIMat
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"
38 / 238 papers shown
GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving
Jiaxin Zhang
Zhong-Zhi Li
Ming-Liang Zhang
Fei Yin
Cheng-Lin Liu
Yashar Moshfeghi
ELM
LRM
452
46
0
15 Feb 2024
FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
Jia Zou
Xiaokai Zhang
Yiming He
Yang Li
Tuo Leng
AIMat
AI4CE
LRM
234
6
0
14 Feb 2024
FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems
Yiming He
Jia Zou
Xiaokai Zhang
Yang Li
Tuo Leng
LRM
247
1
0
14 Feb 2024
SPHINX-X: Scaling Data and Parameters for a Family of Multi-modal Large Language Models
Chris Liu
Renrui Zhang
Longtian Qiu
Siyuan Huang
Weifeng Lin
...
Hao Shao
Pan Lu
Jiaming Song
Yu Qiao
Shiyang Feng
MLLM
546
139
0
08 Feb 2024
Beyond Lines and Circles: Unveiling the Geometric Reasoning Gap in Large Language Models
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
Spyridon Mouselinos
Henryk Michalewski
Mateusz Malinowski
LRM
191
11
0
06 Feb 2024
Large Language Models for Mathematical Reasoning: Progresses and Challenges
Janice Ahn
Rishu Verma
Renze Lou
Di Liu
Rui Zhang
Wenpeng Yin
LRM
363
273
0
31 Jan 2024
InternLM-XComposer2: Mastering Free-form Text-Image Composition and Comprehension in Vision-Language Large Model
Xiao-wen Dong
Pan Zhang
Yuhang Zang
Yuhang Cao
Sijin Yu
...
Conghui He
Xingcheng Zhang
Yu Qiao
Dahua Lin
Yuan Liu
VLM
MLLM
370
351
0
29 Jan 2024
GAPS: Geometry-Aware Problem Solver
Jiaxin Zhang
Yinghui Jiang
Yashar Moshfeghi
AIMat
AI4CE
168
3
0
29 Jan 2024
GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning
Mehran Kazemi
Hamidreza Alvari
Ankit Anand
Jialin Wu
Xi Chen
Radu Soricut
LRM
ReLM
184
92
0
19 Dec 2023
G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model
Lei Li
Renjie Pi
Jipeng Zhang
Jiacheng Ye
Wanjun Zhong
...
Lanqing Hong
J. N. Han
Hang Xu
Zhenguo Li
Lingpeng Kong
ReLM
LRM
SyDa
355
170
0
18 Dec 2023
A Survey of Reasoning with Foundation Models
Jiankai Sun
Chuanyang Zheng
Enze Xie
Zhengying Liu
Ruihang Chu
...
Xipeng Qiu
Yi-Chen Guo
Hui Xiong
Qun Liu
Zhenguo Li
ReLM
LRM
AI4CE
587
54
0
17 Dec 2023
LANS: A Layout-Aware Neural Solver for Plane Geometry Problem
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Zhong-Zhi Li
Ming-Liang Zhang
Fei Yin
Cheng-Lin Liu
247
21
0
25 Nov 2023
Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Fangzhi Xu
Zhiyong Wu
Qiushi Sun
Siyu Ren
Fei Yuan
Shuai Yuan
Qika Lin
Yu Qiao
Jun Liu
LLMAG
293
54
0
15 Nov 2023
Conic10K: A Challenging Math Problem Understanding and Reasoning Dataset
Haoyi Wu
Wenyang Hui
Yezeng Chen
Weiqi Wu
Kewei Tu
Yi Zhou
LRM
260
7
0
09 Nov 2023
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
Xiaokai Zhang
Yang Li
Yiming He
Jia Zou
Qike Huang
...
Na Zhu
Zhen Zeng
Shaorong Xie
Xiangfeng Luo
Tuo Leng
AIMat
AI4CE
398
10
0
27 Oct 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Jing Xiong
Jianhao Shen
Ye Yuan
Haiming Wang
Yichun Yin
...
Yinya Huang
Chuanyang Zheng
Xiaodan Liang
Ming Zhang
Qun Liu
AIMat
LRM
210
26
0
16 Oct 2023
MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
International Conference on Learning Representations (ICLR), 2023
Pan Lu
Hritik Bansal
Tony Xia
Hamish Ivison
Chun-yue Li
Hannaneh Hajishirzi
Hao Cheng
Kai-Wei Chang
Michel Galley
Jianfeng Gao
LRM
MLLM
577
1,198
0
03 Oct 2023
NLPBench: Evaluating Large Language Models on Solving NLP Problems
Linxin Song
Jieyu Zhang
Lechao Cheng
Pengyuan Zhou
Wanrong Zhu
Irene Li
ELM
LM&MA
LRM
339
15
0
27 Sep 2023
A Symbolic Character-Aware Model for Solving Geometry Problems
ACM Multimedia (ACM MM), 2023
Maizhen Ning
Qiufeng Wang
Kaizhu Huang
Xiaowei Huang
177
21
0
05 Aug 2023
SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models
International Conference on Machine Learning (ICML), 2023
Xiaoxuan Wang
Ziniu Hu
Pan Lu
Yanqiao Zhu
Jieyu Zhang
Satyen Subramaniam
Arjun R. Loomba
Shichang Zhang
Luke Huan
Wei Wang
ELM
LRM
422
176
0
20 Jul 2023
TheoremQA: A Theorem-driven Question Answering dataset
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2023
Wenhu Chen
Ming Yin
Max Ku
Pan Lu
Yixin Wan
Xueguang Ma
Jianyu Xu
Xinyi Wang
Tony Xia
AIMat
389
191
0
21 May 2023
Structure Diagram Recognition in Financial Announcements
IEEE International Conference on Document Analysis and Recognition (ICDAR), 2023
Meixuan Qiao
Jun Wang
Junfu Xiang
Qiyu Hou
Ruixuan Li
190
2
0
26 Apr 2023
Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models
Neural Information Processing Systems (NeurIPS), 2023
Pan Lu
Baolin Peng
Hao Cheng
Michel Galley
Kai-Wei Chang
Ying Nian Wu
Song-Chun Zhu
Jianfeng Gao
KELM
MLLM
LRM
389
420
0
19 Apr 2023
A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram
International Joint Conference on Artificial Intelligence (IJCAI), 2023
Ming-Liang Zhang
Fei Yin
Cheng-Lin Liu
AI4CE
414
65
0
22 Feb 2023
EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry
Advances in Artificial Intelligence and Machine Learning (AAIML), 2022
M. Wong
Xintong Qi
C. Tan
51
5
0
27 Dec 2022
A Survey of Deep Learning for Mathematical Reasoning
Annual Meeting of the Association for Computational Linguistics (ACL), 2022
Pan Lu
Liang Qiu
Wenhao Yu
Sean Welleck
Kai-Wei Chang
ReLM
LRM
289
184
0
20 Dec 2022
Implementation of general formal translators
Iosif Iulian Petrila
AI4CE
257
2
0
16 Dec 2022
UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2022
Jiaqi Chen
Tong Li
Jinghui Qin
Pan Lu
Liang Lin
Chongyu Chen
Xiaodan Liang
AIMat
LRM
235
147
0
06 Dec 2022
Geoclidean: Few-Shot Generalization in Euclidean Geometry
Neural Information Processing Systems (NeurIPS), 2022
Joy Hsu
Jiajun Wu
Noah D. Goodman
187
9
0
30 Nov 2022
Lila: A Unified Benchmark for Mathematical Reasoning
Swaroop Mishra
Matthew Finlayson
Pan Lu
Leonard Tang
Sean Welleck
...
Tanmay Rajpurohit
Oyvind Tafjord
Ashish Sabharwal
Peter Clark
Ashwin Kalyan
ELM
AIMat
ReLM
LRM
206
0
0
31 Oct 2022
Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning
International Conference on Learning Representations (ICLR), 2022
Pan Lu
Liang Qiu
Kai-Wei Chang
Ying Nian Wu
Song-Chun Zhu
Tanmay Rajpurohit
Peter Clark
Ashwin Kalyan
ReLM
LRM
544
392
0
29 Sep 2022
Learn to Explain: Multimodal Reasoning via Thought Chains for Science Question Answering
Neural Information Processing Systems (NeurIPS), 2022
Pan Lu
Swaroop Mishra
Tony Xia
Liang Qiu
Kai-Wei Chang
Song-Chun Zhu
Oyvind Tafjord
Peter Clark
Ashwin Kalyan
ELM
ReLM
LRM
623
1,896
0
20 Sep 2022
PGDP5K: A Diagram Parsing Dataset for Plane Geometry Problems
International Conference on Pattern Recognition (ICPR), 2022
Yihan Hao
Mingliang Zhang
Fei Yin
Linlin Huang
AIMat
209
19
0
20 May 2022
Plane Geometry Diagram Parsing
International Joint Conference on Artificial Intelligence (IJCAI), 2022
Ming-Liang Zhang
Fei Yin
Yilun Hao
Cheng-Lin Liu
3DV
136
36
0
19 May 2022
Learning Program Representations for Food Images and Cooking Recipes
Computer Vision and Pattern Recognition (CVPR), 2022
Dim P. Papadopoulos
Enrique Mora
Nadiia Chepurko
Kuan-Wei Huang
Ferda Ofli
Antonio Torralba
149
42
0
30 Mar 2022
PTR: A Benchmark for Part-based Conceptual, Relational, and Physical Reasoning
Yining Hong
Li Yi
J. Tenenbaum
Antonio Torralba
Chuang Gan
172
43
0
09 Dec 2021
IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning
Pan Lu
Liang Qiu
Jiaqi Chen
Tony Xia
Yizhou Zhao
Wei Zhang
Zhou Yu
Xiaodan Liang
Song-Chun Zhu
AIMat
411
261
0
25 Oct 2021
MWPToolkit: An Open-Source Framework for Deep Learning-Based Math Word Problem Solvers
Yihuai Lan
Lei Wang
Qiyuan Zhang
Yunshi Lan
B. Dai
Yan Wang
Dongxiang Zhang
Ee-Peng Lim
AIMat
224
76
0
02 Sep 2021
Previous
1
2
3
4
5
Page 5 of 5
