Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning | Paper Citation Record

Observation b9cd169f-3315-49b4-b25b-2aa874f47b75 · inbound

MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems? cites this paper.

MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems? Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 42

Resolution: metadata mismatch; arxiv_id, observed 2026-05-17T01:29:30.245395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c3b7e3f-37b9-4cf4-9c95-e4b3f08d8dfa · inbound

How Far Are We to GPT-4V? Closing the Gap to Commercial Multimodal Models with Open-Source Suites cites this paper.

How Far Are We to GPT-4V? Closing the Gap to Commercial Multimodal Models with Open-Source Suites Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 72

Resolution: verified exact; arxiv_id, observed 2026-05-12T20:58:59.131726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 01e856f0-672a-4b81-8a31-6369815f38d2 · inbound

We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning? cites this paper.

We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning? Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-16T21:55:40.941517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d9e7ece4-938c-40ac-986a-73efa8144455 · inbound

Enhancing the Reasoning Ability of Multimodal Large Language Models via Mixed Preference Optimization cites this paper.

Enhancing the Reasoning Ability of Multimodal Large Language Models via Mixed Preference Optimization Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 59

Resolution: verified exact; arxiv_id, observed 2026-05-16T09:16:17.312900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3e37b3c5-6c61-4e00-b28b-a5ff42a125e3 · inbound

Expanding Performance Boundaries of Open-Source Multimodal Models with Model, Data, and Test-Time Scaling cites this paper.

Expanding Performance Boundaries of Open-Source Multimodal Models with Model, Data, and Test-Time Scaling Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 164

Resolution: verified exact; arxiv_id, observed 2026-05-10T13:23:57.768385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d8e2a441-726c-422f-bf4a-26abd9c644a8 · inbound

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning cites this paper.

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 115

Resolution: verified exact; arxiv_id, observed 2026-05-23T04:32:32.501833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation edf6f1d4-dce2-49f9-a15c-43dbd9a766a7 · inbound

InternVL3: Exploring Advanced Training and Test-Time Recipes for Open-Source Multimodal Models cites this paper.

InternVL3: Exploring Advanced Training and Test-Time Recipes for Open-Source Multimodal Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 81

Resolution: verified exact; arxiv_id, observed 2026-05-10T13:41:08.040558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8f7e1694-5143-4046-9484-d135ae004b16 · inbound

PRIMETIME : Limits of LLMs in Temporal Primitives cites this paper.

PRIMETIME : Limits of LLMs in Temporal Primitives Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-05-22T18:36:58.837385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f9b6a6df-454f-473b-a4f1-bc38cbc032f4 · inbound

Reinforcement Fine-Tuning Powers Reasoning Capability of Multimodal Large Language Models cites this paper.

Reinforcement Fine-Tuning Powers Reasoning Capability of Multimodal Large Language Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-07T14:31:13.950384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aad626e-20b7-46ea-a334-ef43ac666b0c · inbound

Universal Reasoner: A Single, Composable Plug-and-Play Reasoner for Frozen LLMs cites this paper.

Universal Reasoner: A Single, Composable Plug-and-Play Reasoner for Frozen LLMs Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-22T01:20:52.171935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 14f40af1-03f3-4515-ba06-7b0a00e206f9 · inbound

VisualToolAgent (VisTA): A Reinforcement Learning Framework for Visual Tool Selection cites this paper.

VisualToolAgent (VisTA): A Reinforcement Learning Framework for Visual Tool Selection Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T13:59:37.062514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17c6a821-cd57-45ff-bd17-2baff1321b62 · inbound

Advancing Multimodal Reasoning via Reinforcement Learning with Cold Start cites this paper.

Advancing Multimodal Reasoning via Reinforcement Learning with Cold Start Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T13:12:54.641119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6124a974-498c-4543-b503-b55c8ecaca56 · inbound

Towards Geometry Problem Solving in the Large Model Era: A Survey cites this paper.

Towards Geometry Problem Solving in the Large Model Era: A Survey Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-07T11:22:40.923802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2bc0fef-0689-471b-9728-ded97078fcc0 · inbound

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? cites this paper.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T06:08:24.805851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3b3ff6b-8025-4c8a-98d7-14cdf5e688b2 · inbound

CoMemo: LVLMs Need Image Context with Image Memory cites this paper.

CoMemo: LVLMs Need Image Context with Image Memory Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-07T06:02:30.350057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b2bac11-e557-41de-90d9-0663e5af949e · inbound

Evaluating Visual Mathematics in Multimodal LLMs: A Multilingual Benchmark Based on the Kangaroo Tests cites this paper.

Evaluating Visual Mathematics in Multimodal LLMs: A Multilingual Benchmark Based on the Kangaroo Tests Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T05:38:58.315986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bd1caa5-f657-4bf0-8ecc-c2381e7cc797 · inbound

EasyARC: Evaluating Vision Language Models on True Visual Reasoning cites this paper.

EasyARC: Evaluating Vision Language Models on True Visual Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T04:06:40.288156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d099484-d193-4eb7-a902-5bca99a3e8ee · inbound

Reinforcement Fine-Tuning Naturally Mitigates Forgetting in Continual Post-Training cites this paper.

Reinforcement Fine-Tuning Naturally Mitigates Forgetting in Continual Post-Training Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T19:31:27.365488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3eaa7f89-402a-4e8d-bff3-c1d1320a9647 · inbound

Mono-InternVL-1.5: Towards Cheaper and Faster Monolithic Multimodal Large Language Models cites this paper.

Mono-InternVL-1.5: Towards Cheaper and Faster Monolithic Multimodal Large Language Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-06T16:50:04.330336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d6ffc7c-6e2b-4fd2-8e38-723033258818 · inbound

GeoLaux: A Benchmark for Evaluating MLLMs' Geometry Performance on Long-Step Problems Requiring Auxiliary Lines cites this paper.

GeoLaux: A Benchmark for Evaluating MLLMs' Geometry Performance on Long-Step Problems Requiring Auxiliary Lines Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 20

Resolution: verified exact; arxiv_id, observed 2026-05-19T00:41:56.092818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6f864aec-d7f1-4985-bffe-6325963cf801 · inbound

ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for Large Vision-and-Language Models cites this paper.

ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for Large Vision-and-Language Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-18T07:26:03.142818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1953e59d-2c15-4a98-b823-805c22aa0dba · inbound

LaRe: Latent Refocusing for Multimodal Reasoning cites this paper.

LaRe: Latent Refocusing for Multimodal Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-04T00:15:21.937499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 192f92ad-f043-4c2a-8fa0-b101e3ce0e18 · inbound

Boosting Reasoning in Large Multimodal Models via Activation Replay cites this paper.

Boosting Reasoning in Large Multimodal Models via Activation Replay Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-05-17T05:09:04.061771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ce7a5fde-bfca-4027-ab6f-a1632a444bd9 · inbound

SPHINX: A Synthetic Environment for Visual Perception and Reasoning cites this paper.

SPHINX: A Synthetic Environment for Visual Perception and Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-17T04:21:30.772379Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8c67b9d6-3789-4281-b6c3-681cb2ab85e8 · inbound

Boosting RL-Based Visual Reasoning with Selective Adversarial Entropy Intervention cites this paper.

Boosting RL-Based Visual Reasoning with Selective Adversarial Entropy Intervention Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T17:15:17.662153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 612798e0-9bb6-47f0-881a-4ea4e7d82067 · inbound

Mimic Human Cognition, Master Multi-Image Reasoning: A Meta-Action Framework for Enhanced Visual Understanding cites this paper.

Mimic Human Cognition, Master Multi-Image Reasoning: A Meta-Action Framework for Enhanced Visual Understanding Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-03T11:13:16.869250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42dead94-8c66-4fb5-b628-9b550f2e79cc · inbound

Learning Self-Correction in Vision-Language Models via Rollout Augmentation cites this paper.

Learning Self-Correction in Vision-Language Models via Rollout Augmentation Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T03:21:13.887624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90afac3c-b9d3-45a8-ae3c-493513d0a53b · inbound

Thinking with Drafting: Optical Decompression via Logical Reconstruction cites this paper.

Thinking with Drafting: Optical Decompression via Logical Reconstruction Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-16T03:30:32.831917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ea8c3eff-e336-460d-ab9e-2951bb81624f · inbound

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs cites this paper.

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-15T20:16:34.598586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ea4f9f06-1559-4b65-a6f2-16f669e4ecc7 · inbound

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs cites this paper.

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-05-22T10:31:25.112966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fbb0382c-0bd2-476f-99ce-953d3579fe7d · inbound

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs cites this paper.

MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T22:00:06.971790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b30e5a92-d1ab-4d14-9496-94f4d993ad34 · inbound

PaLMR: Towards Faithful Visual Reasoning via Multimodal Process Alignment cites this paper.

PaLMR: Towards Faithful Visual Reasoning via Multimodal Process Alignment Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T19:57:31.852590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fe5d713-35ad-42fe-80e6-052089a7a479 · inbound

Understanding the Role of Hallucination in Reinforcement Post-Training of Multimodal Reasoning Models cites this paper.

Understanding the Role of Hallucination in Reinforcement Post-Training of Multimodal Reasoning Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-13T20:53:16.272449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 03067e77-4ecb-438b-b337-6f7865eef60e · inbound

Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models cites this paper.

Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 99

Resolution: verified exact; arxiv_id, observed 2026-05-11T09:25:59.363052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2ac1158a-d93a-446b-922c-581b69c4a8d8 · inbound

Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models cites this paper.

Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 112

Resolution: unresolved; no resolver link, observed 2026-07-12T22:48:45.647588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 134bf068-df47-41ac-84eb-360098d138ff · inbound

OMIBench: Benchmarking Olympiad-Level Multi-Image Reasoning in Large Vision-Language Model cites this paper.

OMIBench: Benchmarking Olympiad-Level Multi-Image Reasoning in Large Vision-Language Model Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-05-11T13:46:03.332164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bc31d786-8a70-4b1c-8076-a10e29f79c4e · inbound

Segment-Aligned Policy Optimization for Multi-Modal Reasoning cites this paper.

Segment-Aligned Policy Optimization for Multi-Modal Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-05-11T16:51:08.012769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation aa6513c7-3504-46b5-a208-19b08452d238 · inbound

GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning cites this paper.

GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-20T22:43:50.477596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 71629ea8-f77d-4e80-84fa-df1c27e0fe5e · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-02T22:47:25.963032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8e7ba0c0-5e2d-4036-91c7-9ed0ce07fda7 · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T12:05:01.870935Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2194a829-53f6-46fa-8298-4efa89bdfc18 · inbound

See First, Answer Later: Visual Evidence Pre-Alignment via Sufficiency-Driven RL cites this paper.

See First, Answer Later: Visual Evidence Pre-Alignment via Sufficiency-Driven RL Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 48

Resolution: metadata mismatch; arxiv_id, observed 2026-07-03T19:28:52.844943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers