ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2105.04165
  4. Cited By
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language
  and Symbolic Reasoning
v1v2v3 (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
    AIMatLRM
ArXiv (abs)PDFHTML

Papers citing "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

50 / 238 papers shown
Vision-G1: Towards General Vision Language Reasoning with Multi-Domain Data Curation
Vision-G1: Towards General Vision Language Reasoning with Multi-Domain Data Curation
Yuheng Zha
Kun Zhou
Yujia Wu
Yushu Wang
Jie Feng
Zhi Xu
Shibo Hao
Zhengzhong Liu
Eric P. Xing
Zhiting Hu
LRMVLM
119
3
0
18 Aug 2025
LangVision-LoRA-NAS: Neural Architecture Search for Variable LoRA Rank in Vision Language Models
LangVision-LoRA-NAS: Neural Architecture Search for Variable LoRA Rank in Vision Language ModelsInternational Conference on Information Photonics (ICIP), 2025
Krishna Teja Chitty-Venkata
M. Emani
V. Vishwanath
VLM
75
0
0
17 Aug 2025
We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
Runqi Qiao
Qiuna Tan
Peiqing Yang
Y. Wang
X. Wang
...
Yida Xu
Jie Wang
Chong Sun
Chen Li
Honggang Zhang
OffRLLRM
140
12
0
14 Aug 2025
BigCharts-R1: Enhanced Chart Reasoning with Visual Reinforcement Finetuning
BigCharts-R1: Enhanced Chart Reasoning with Visual Reinforcement Finetuning
Ahmed Masry
Abhay Puri
Masoud Hashemi
Juan A. Rodriguez
Megh Thakkar
...
David Vazquez
Enamul Hoque
Perouz Taslakian
Sai Rajeswar
Spandana Gella
AI4TS
137
5
0
13 Aug 2025
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving
Tianyun Yang
Yunwen Li
Ziniu Li
Zhihang Lin
Ruoyu Sun
Tian Ding
ReLMLRM
127
1
0
12 Aug 2025
STELAR-VISION: Self-Topology-Aware Efficient Learning for Aligned Reasoning in Vision
STELAR-VISION: Self-Topology-Aware Efficient Learning for Aligned Reasoning in Vision
Chen Li
Han Zhang
Zhantao Yang
Fangyi Chen
Zihan Wang
Anudeepsekhar Bolimera
Marios Savvides
LRMVLM
100
0
0
12 Aug 2025
Shuffle-R1: Efficient RL framework for Multimodal Large Language Models via Data-centric Dynamic Shuffle
Shuffle-R1: Efficient RL framework for Multimodal Large Language Models via Data-centric Dynamic Shuffle
Linghao Zhu
Yiran Guan
Dingkang Liang
Jianzhong Ju
Zhenbo Luo
Bin Qin
Jian Luan
Yuliang Liu
Xiang Bai
LRMOffRL
157
4
0
07 Aug 2025
GanitBench: A bi-lingual benchmark for evaluating mathematical reasoning in Vision Language Models
GanitBench: A bi-lingual benchmark for evaluating mathematical reasoning in Vision Language ModelsInternational Conference on Recent Advances in Information Technology (ICRAIT), 2025
Ashutosh Bandooni
Brindha Subburaj
VLMLRM
121
0
0
31 Jul 2025
VL-Cogito: Progressive Curriculum Reinforcement Learning for Advanced Multimodal Reasoning
VL-Cogito: Progressive Curriculum Reinforcement Learning for Advanced Multimodal Reasoning
Ruifeng Yuan
Chenghao Xiao
Sicong Leng
Jianyu Wang
Long Li
...
Deli Zhao
Qifeng Bai
Zhongyu Wei
H. Zhang
Yu Rong
OffRLReLMLRM
262
13
0
30 Jul 2025
FairReason: Balancing Reasoning and Social Bias in MLLMs
FairReason: Balancing Reasoning and Social Bias in MLLMs
Zhenyu Pan
Y. Zhang
Jianshu Zhang
Haoran Lu
Haozheng Luo
Yuwei Han
Philip S. Yu
Manling Li
Han Liu
LRM
249
3
0
30 Jul 2025
MMAT-1M: A Large Reasoning Dataset for Multimodal Agent Tuning
MMAT-1M: A Large Reasoning Dataset for Multimodal Agent Tuning
Tianhong Gao
Yannian Fu
Weiqun Wu
Haixiao Yue
Shanshan Liu
Gang Zhang
MLLMLRM
275
1
0
29 Jul 2025
Geometric-Mean Policy Optimization
Geometric-Mean Policy Optimization
Yuzhong Zhao
Yue Liu
Junpeng Liu
Jingye Chen
Xun Wu
...
Shaohan Huang
Lei Cui
Qixiang Ye
Fang Wan
Furu Wei
272
26
0
28 Jul 2025
MathOPEval: A Fine-grained Evaluation Benchmark for Visual Operations of MLLMs in Mathematical Reasoning
MathOPEval: A Fine-grained Evaluation Benchmark for Visual Operations of MLLMs in Mathematical Reasoning
Xiaoyuan Li
Moxin Li
Wenjie Wang
Rui Men
Yichang Zhang
Fuli Feng
Dayiheng Liu
LRM
192
2
0
24 Jul 2025
C2-Evo: Co-Evolving Multimodal Data and Model for Self-Improving Reasoning
C2-Evo: Co-Evolving Multimodal Data and Model for Self-Improving Reasoning
Xiuwei Chen
Wentao Hu
Hanhui Li
Jun Zhou
Zisheng Chen
...
Kui Zhang
Yu-Jie Yuan
J. N. Han
Hang Xu
Xiaodan Liang
SyDaLRM
190
4
0
22 Jul 2025
A Survey of Deep Learning for Geometry Problem Solving
A Survey of Deep Learning for Geometry Problem Solving
Jianzhe Ma
Wenxuan Wang
Qin Jin
467
2
0
16 Jul 2025
Perception-Aware Policy Optimization for Multimodal Reasoning
Perception-Aware Policy Optimization for Multimodal Reasoning
Zhenhailong Wang
Xuehang Guo
Sofia Stoica
Haiyang Xu
Hongru Wang
...
Xiusi Chen
Yangyi Chen
Ming Yan
Fei Huang
Mengyue Yang
OffRLLRM
423
22
0
08 Jul 2025
Reinforcement Fine-Tuning Naturally Mitigates Forgetting in Continual Post-Training
Reinforcement Fine-Tuning Naturally Mitigates Forgetting in Continual Post-Training
Song Lai
Haohan Zhao
Rong Feng
Changyi Ma
Wenzhuo Liu
...
Dong Yi
Min Xie
Gang Qu
Hongbin Liu
Gaofeng Meng
CLLKELM
245
15
0
07 Jul 2025
Can Prompt Difficulty be Online Predicted for Accelerating RL Finetuning of Reasoning Models?
Can Prompt Difficulty be Online Predicted for Accelerating RL Finetuning of Reasoning Models?
Yun Qu
Qi Wang
Yixiu Mao
Vincent Tao Hu
Bjorn Ommer
Xiangyang Ji
OffRLLRM
310
12
0
07 Jul 2025
Open Vision Reasoner: Transferring Linguistic Cognitive Behavior for Visual Reasoning
Open Vision Reasoner: Transferring Linguistic Cognitive Behavior for Visual Reasoning
Yana Wei
Liang Zhao
Jianjian Sun
Kangheng Lin
Jisheng Yin
...
Qi Han
Zheng Ge
Xiangyu Zhang
Daxin Jiang
Vishal M. Patel
OffRLReLMLRMVLM
226
14
0
07 Jul 2025
From Answers to Rationales: Self-Aligning Multimodal Reasoning with Answer-Oriented Chain-of-Thought
From Answers to Rationales: Self-Aligning Multimodal Reasoning with Answer-Oriented Chain-of-Thought
Wentao Tan
Qiong Cao
Yibing Zhan
Chao Xue
Changxing Ding
LRM
165
0
0
01 Jul 2025
EFRame: Deeper Reasoning via Exploration-Filter-Replay Reinforcement Learning Framework
EFRame: Deeper Reasoning via Exploration-Filter-Replay Reinforcement Learning Framework
Chen Wang
Lai Wei
Yanzhi Zhang
Chenyang Shao
Zedong Dan
Weiran Huang
Yuzhi Zhang
Yue Wang
LRMOffRL
382
2
0
27 Jun 2025
ReDit: Reward Dithering for Improved LLM Policy Optimization
ReDit: Reward Dithering for Improved LLM Policy Optimization
Chenxing Wei
Jiarui Yu
Y. He
Hande Dong
Yao Shu
Fei Richard Yu
LRM
304
6
0
23 Jun 2025
GeoSDF: Plane Geometry Diagram Synthesis via Signed Distance Field
GeoSDF: Plane Geometry Diagram Synthesis via Signed Distance Field
Chengrui Zhang
Maizhen Ning
Tianyi Liu
Zihao Zhou
Jie Sun
Qiufeng Wang
Kaizhu Huang
239
0
0
16 Jun 2025
FinLMM-R1: Enhancing Financial Reasoning in LMM through Scalable Data and Reward Design
FinLMM-R1: Enhancing Financial Reasoning in LMM through Scalable Data and Reward Design
Kai Lan
Jiayong Zhu
Jiangtong Li
Dawei Cheng
Guang-Sheng Chen
Changjun Jiang
LRM
161
2
0
16 Jun 2025
EasyARC: Evaluating Vision Language Models on True Visual Reasoning
EasyARC: Evaluating Vision Language Models on True Visual Reasoning
Mert Unsal
Aylin Akkus
VLMLRM
168
7
0
13 Jun 2025
Revisiting Visual Understanding in Multimodal Reasoning through a Lens of Image Perturbation
Revisiting Visual Understanding in Multimodal Reasoning through a Lens of Image Perturbation
Yuting Li
Lai Wei
Kaipeng Zheng
Jingyuan Huang
Linghe Kong
Shunian Chen
Weiran Huang
Lichao Sun
Weiran Huang
AAMLLRMVLM
306
4
0
11 Jun 2025
Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Models
Athena: Enhancing Multimodal Reasoning with Data-efficient Process Reward Models
Shuai Wang
Zhenhua Liu
Jiaheng Wei
Xuanwu Yin
Dong Li
E. Barsoum
LRM
341
10
0
11 Jun 2025
Evaluating Visual Mathematics in Multimodal LLMs: A Multilingual Benchmark Based on the Kangaroo Tests
Evaluating Visual Mathematics in Multimodal LLMs: A Multilingual Benchmark Based on the Kangaroo Tests
Arnau Igualde Sáez
Lamyae Rhomrasi
Yusef Ahsini
Ricardo Vinuesa
S. Hoyas
Jose P. García Sabater
Marius J. Fullana i Alfonso
J. Alberto Conejero
LRM
195
1
0
09 Jun 2025
GeometryZero: Improving Geometry Solving for LLM with Group Contrastive Policy Optimization
GeometryZero: Improving Geometry Solving for LLM with Group Contrastive Policy Optimization
Yikun Wang
Yibin Wang
Dianyi Wang
Zimian Peng
Qipeng Guo
Dacheng Tao
Jiaqi Wang
LRM
245
4
0
08 Jun 2025
CoMemo: LVLMs Need Image Context with Image Memory
CoMemo: LVLMs Need Image Context with Image Memory
Shi-Qi Liu
Weijie Su
Xizhou Zhu
Wenhai Wang
Jifeng Dai
VLM
219
0
0
06 Jun 2025
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
Zhitao He
Zongwei Lyu
Dazhong Chen
Dadi Guo
Yi R. Fung
LRM
240
7
0
06 Jun 2025
Unfolding Spatial Cognition: Evaluating Multimodal Models on Visual Simulations
Linjie Li
Mahtab Bigverdi
Jiawei Gu
Zixian Ma
Yinuo Yang
Ziang Li
Yejin Choi
Ranjay Krishna
LRM
237
8
0
05 Jun 2025
Towards Geometry Problem Solving in the Large Model Era: A Survey
Towards Geometry Problem Solving in the Large Model Era: A Survey
Yurui Zhao
Xiang Wang
Jiahong Liu
Irwin King
Zhitao Huang
LRMAI4CE
211
4
0
03 Jun 2025
Qwen Look Again: Guiding Vision-Language Reasoning Models to Re-attention Visual Information
Qwen Look Again: Guiding Vision-Language Reasoning Models to Re-attention Visual Information
Xu Chu
Xinrong Chen
Guanyu Wang
Zhijie Tan
Kui Huang
Wenyu Lv
Tong Mo
Weiping Li
LRMVLM
327
7
0
29 May 2025
Advancing Multimodal Reasoning via Reinforcement Learning with Cold Start
Advancing Multimodal Reasoning via Reinforcement Learning with Cold Start
Lai Wei
Yuting Li
Kaipeng Zheng
Chen Wang
Yue Wang
Linghe Kong
Lichao Sun
Weiran Huang
OffRLReLMLRM
367
24
0
28 May 2025
DreamPRM: Domain-Reweighted Process Reward Model for Multimodal Reasoning
DreamPRM: Domain-Reweighted Process Reward Model for Multimodal Reasoning
Qi Cao
Ruiyi Wang
Ruiyi Zhang
Sai Ashish Somayajula
P. Xie
LRM
428
5
0
26 May 2025
MMGeoLM: Hard Negative Contrastive Learning for Fine-Grained Geometric Understanding in Large Multimodal Models
MMGeoLM: Hard Negative Contrastive Learning for Fine-Grained Geometric Understanding in Large Multimodal Models
Kai Sun
Yushi Bai
Zhen-Yi Yang
Jiajie Zhang
Ji Qi
Lei Hou
Juanzi Li
VLM
413
0
0
26 May 2025
FUDOKI: Discrete Flow-based Unified Understanding and Generation via Kinetic-Optimal Velocities
FUDOKI: Discrete Flow-based Unified Understanding and Generation via Kinetic-Optimal Velocities
Jin Wang
Yao Lai
Aoxue Li
Shifeng Zhang
Jiacheng Sun
Ning Kang
Chengyue Wu
Zhenguo Li
Ping Luo
396
20
0
26 May 2025
Reinforcement Fine-Tuning Powers Reasoning Capability of Multimodal Large Language Models
Reinforcement Fine-Tuning Powers Reasoning Capability of Multimodal Large Language Models
Haoyuan Sun
Jiaqi Wu
Bo Xia
Yifu Luo
Yifei Zhao
Kai Qin
Xufei Lv
Tiantian Zhang
Yongzhe Chang
Xueqian Wang
OffRLLRM
440
8
0
24 May 2025
One RL to See Them All: Visual Triple Unified Reinforcement Learning
One RL to See Them All: Visual Triple Unified Reinforcement Learning
Yan Ma
Linge Du
Xuyang Shen
Shaoxiang Chen
Pengfei Li
Qibing Ren
Lizhuang Ma
Yuchao Dai
Pengfei Liu
Junjie Yan
OffRLLRM
442
0
0
23 May 2025
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
Weiming Wu
Zi-kang Wang
Jin Ye
Zhi Zhou
Yu-Feng Li
Lan-Zhe Guo
LRM
306
0
0
21 May 2025
Plane Geometry Problem Solving with Multi-modal Reasoning: A Survey
Plane Geometry Problem Solving with Multi-modal Reasoning: A Survey
Seunghyuk Cho
Zhenyue Qin
Yang Liu
Youngbin Choi
Seungbeom Lee
Dongwoo Kim
LRM
274
2
0
20 May 2025
Adaptive Markup Language Generation for Contextually-Grounded Visual Document Understanding
Adaptive Markup Language Generation for Contextually-Grounded Visual Document UnderstandingComputer Vision and Pattern Recognition (CVPR), 2025
Han Xiao
Yina Xie
Guanxin Tan
Yinghao Chen
R. Hu
...
Shiyang Feng
Yafei Wen
Xiaoxin Chen
Shuai Ren
Hongsheng Li
VLM
257
3
0
08 May 2025
Fast-Slow Thinking GRPO for Large Vision-Language Model Reasoning
Fast-Slow Thinking GRPO for Large Vision-Language Model Reasoning
W. L. Xiao
Yaoyao Yu
ReLMLRMAI4CE
1.1K
27
0
25 Apr 2025
TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
Daocheng Fu
Zijun Chen
Renqiu Xia
Zijun Chen
Qi Liu
...
Ding Wang
Junchi Yan
Botian Shi
Yu Qiao
Bo Zhang
410
4
0
22 Apr 2025
Video-MMLU: A Massive Multi-Discipline Lecture Understanding Benchmark
Video-MMLU: A Massive Multi-Discipline Lecture Understanding Benchmark
Enxin Song
Wenhao Chai
Weili Xu
Jianwen Xie
Yuxuan Liu
Gaoang Wang
402
23
0
20 Apr 2025
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
Yang Yue
Zhiqi Chen
Rui Lu
Andrew Zhao
Zhaokai Wang
Yang Yue
Shiji Song
Gao Huang
ReLMLRM
726
466
0
18 Apr 2025
NoisyRollout: Reinforcing Visual Reasoning with Data Augmentation
NoisyRollout: Reinforcing Visual Reasoning with Data Augmentation
Xiangyan Liu
Jinjie Ni
Zijian Wu
Chao Du
Longxu Dou
Jian Shu
Tianyu Pang
Michael Shieh
OffRLLRM
1.3K
53
0
17 Apr 2025
Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration
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
229
8
0
17 Apr 2025
GeoSense: Evaluating Identification and Application of Geometric Principles in Multimodal Reasoning
GeoSense: Evaluating Identification and Application of Geometric Principles in Multimodal Reasoning
Liangyu Xu
Yingxiu Zhao
Jiadong Wang
Yuhang Han
Bu Pi
...
Jihao Gu
Guojian Pang
Xiaoyong Zhu
Jun Song
Jian Xu
LRM
1.0K
18
0
17 Apr 2025
Previous
12345
Next
Page 2 of 5