Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2310.18021
Cited By
v1
v2
v3
v4
v5
v6 (latest)
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
27 October 2023
Xiaokai Zhang
Yang Li
Yiming He
Jia Zou
Qike Huang
Xiaoxiao Jin
Yanjun Guo
Chenyang Mao
Cheng Qin
Zhe Zhu
Dengfeng Yue
Fangzhen Zhu
Yifan Wang
Yiwen Huang
Runan Wang
Na Zhu
Zhen Zeng
Shaorong Xie
Xiangfeng Luo
Tuo Leng
AIMat
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Github (12★)
Papers citing
"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving"
8 / 8 papers shown
What MLLMs Learn about When they Learn about Multimodal Reasoning: Perception, Reasoning, or their Integration?
Jiwan Chung
Neel Joshi
Pratyusha Sharma
Youngjae Yu
Vibhav Vineet
LRM
254
3
0
02 Oct 2025
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
Tianyun Yang
Yunwen Li
Ziniu Li
Zhihang Lin
Ruoyu Sun
Tian Ding
ReLM
LRM
177
3
0
12 Aug 2025
A Survey of Deep Learning for Geometry Problem Solving
Jianzhe Ma
Wenxuan Wang
Qin Jin
588
2
0
16 Jul 2025
Towards Geometry Problem Solving in the Large Model Era: A Survey
Yurui Zhao
Xiang Wang
Jiahong Liu
Irwin King
Zhitao Huang
LRM
AI4CE
240
5
0
03 Jun 2025
Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach
Oren Sultan
Eitan Stern
Dafna Shahaf
LRM
747
3
0
20 May 2025
Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration
Yicheng Pan
Zhenrong Zhang
Pengfei Hu
Jiefeng Ma
Jun Du
Jianshu Zhang
Quan Liu
J. Gao
Feng Ma
LRM
298
16
0
17 Apr 2025
GeoUni: A Unified Model for Generating Geometry Diagrams, Problems and Problem Solutions
Jo-Ku Cheng
Zeren Zhang
Ran Chen
Jingyang Deng
Ziran Qin
Jinwen Ma
361
8
0
14 Apr 2025
FGeo-HyperGNet: Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network
Xiaokai Zhang
Yang Li
Na Zhu
Cheng Qin
Zhen Zeng
Tuo Leng
AI4CE
249
3
0
18 Feb 2024
1
Page 1 of 1
