Pith. sign in

Paper Citation Record · LEDGER

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

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 42 inbound Pith citation observations for arXiv:2105.04165.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2105.04165 v3

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 42 of 42 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-10T00:37:00.862173Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-03T19:28:52.843212Z

Reference resolution

0 of 0 outbound references displayed

  • verified exact0
  • verified fuzzy0
  • unresolved0
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-17T01:29:30.032408Z digest=sha256:732a3126b8d3c48eab0a4ee07b691bd258b6e91d32c76b2d030ff67bf141ee4d

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-12T20:58:58.849040Z digest=sha256:137270650fd85a3beee9972507e31de3b76ca42ba074492458c1eb95eb7d4801

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-16T21:55:40.808698Z digest=sha256:3588d69cd954cae5e239f9b4bf6bf4f2519e1fa5bbcc3773f4d844d59a7ec0d1

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-16T09:16:17.150383Z digest=sha256:ea8882b1afa898085012c0401fd08418d8473ba8b23dbc2f51a388ddf240c795

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-10T13:23:57.588851Z digest=sha256:ee50c6b355b3a06b1779be6ac6294105c0dfc199a9064bc3d8c70046f91389a7

Observation 5c0fdb4b-a958-4b40-b4cb-6a49aa4b0b33 · inbound

Large Language Models are Few-shot Multivariate Time Series Classifiers cites this paper.

Large Language Models are Few-shot Multivariate Time Series Classifiers Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-10T00:37:00.862173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T00:37:00.862173Z digest=sha256:3c8ffee7c55694360a3fa1ca70631a8845a0d4b89f87a7f9a3cb85a6721d9840

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-09T06:31:02.800959+00:00.

source=arxiv_source observed=2026-05-23T04:30:38.804702Z digest=sha256:a811787977bdbcc46073b530faa63bb034cdcdea77edcf90b218f4babbdec7fe

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-10T13:41:07.991012Z digest=sha256:74dd96799615c94ee9c63df191645e32350a34c634867d27c81dcb503a426d67

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-22T18:36:48.376877Z digest=sha256:00e3636e1cec6f257807aed97578bc0ced28c0ea17a523a5996ddafd6628bbf6

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.

source=pdf_text observed=2026-08-07T14:31:13.950384Z digest=sha256:3d9e952827f57e327e9b34d9f7d2daee0c0e4f49c2eadac2e0f6c174b2d57c9f

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-22T01:16:51.288077Z digest=sha256:cb4aa86da04af9ead0ac61f8b234ef92ec351ed73ddddb28f277986317925545

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.

source=pdf_text observed=2026-08-07T13:59:37.062514Z digest=sha256:f678ef9e0bc09e284a500efe1f3d2659a8d4193cb7c0fdbca62133d26688992a

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.

source=pdf_text observed=2026-08-07T13:12:54.641119Z digest=sha256:059a84d8df2dcf0c75d0cf9e099c583a659f3bc096ce944ac0393f698bb12847

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.

source=pdf_text observed=2026-08-07T11:22:40.923802Z digest=sha256:6d63031c2e9fdb649d19baf6b982c66bcccdba0154b6269865d726f200cc054e

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.

source=pdf_text observed=2026-08-07T06:08:24.805851Z digest=sha256:66f6c7a631d86bb2d95850bcf997a2ab037d08d19b1caddba0f3b05771568bf7

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.

source=arxiv_source observed=2026-08-07T06:02:30.350057Z digest=sha256:794b51789a425853da3e1f0d935cc55f50ac089d878d19ec919ad1a5b0c23aa8

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.

source=pdf_text observed=2026-08-07T05:38:58.315986Z digest=sha256:325ff824ee8eee529992af4d9ddabaf610802f4527ab6d6c891dfbf58d1b788a

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.

source=pdf_text observed=2026-08-07T04:06:40.288156Z digest=sha256:3fb50de7982092ca8a83f0f718a4ad53b1677a68921312f00671838244d9c7b1

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.

source=arxiv_source observed=2026-08-06T19:31:27.365488Z digest=sha256:002d238d412c0bd56d0ff37202a7eec60a778e9bbc19030ba76a3ee4f09c673b

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.

source=pdf_text observed=2026-08-06T16:50:04.330336Z digest=sha256:0484826c19cbf66737e1238a4187c22a47d905dc7a73ca0d37092e55d25f419d

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-19T00:38:43.897231Z digest=sha256:b02ed61436d92258660b0d85220b91aa9c442aa76be3ebdb3c10045d23335214

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-18T07:23:59.514624Z digest=sha256:5ad366af151e037e60a40cb2eeb857bf1342c6d9612726370a254bd2a8a7d232

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.

source=arxiv_source observed=2026-08-04T00:15:21.937499Z digest=sha256:b69977979e7fb957a83da5943aab9988ec98f5132f597fc9d342f4ddb3d99dba

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-17T05:05:48.682057Z digest=sha256:17434a4a72640da148ec3e1a59c2dadc5b8ce4a357e6304616edb158d685b8fc

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-17T04:19:26.808804Z digest=sha256:e406e4b6cf5392ea5144ffb4f7ba55aa392062f256490c90749ed16d30664de9

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.

source=pdf_text observed=2026-08-03T17:15:17.662153Z digest=sha256:3195e000f92325887d9d076841aa37dcfffb24d9631c3fdea26edcc84e3ea56c

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.

source=pdf_text observed=2026-08-03T11:13:16.869250Z digest=sha256:93d7921e3143312bcb2228362787c6d024fd457cb3a865352d4489c11611eaed

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.

source=arxiv_source observed=2026-08-03T03:21:13.887624Z digest=sha256:224bfab0b1bb93811cdaede1b52b606c682128b4225152cd580b64b61472ef1d

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-16T03:28:32.264246Z digest=sha256:88f59887ad026bd1be27dde021b9f7beca7e55baaeceb3e10c2086ee22bc5fd1

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-15T20:12:46.385646Z digest=sha256:5de03ec96b720e391cce99e3b73804020c6d766a77fa359bdafb673b88f3412a

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-22T10:30:06.829915Z digest=sha256:21fc434cffd647709e9f59ee3ec1c98679095d5ed328e5fcdfa17b0aadb6e147

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.

source=pdf_text observed=2026-08-02T22:00:06.971790Z digest=sha256:6c086d99bb68464d68b6d30122924637858eeb8e26743c19b975d1e3217b029e

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.

source=pdf_text observed=2026-08-02T19:57:31.852590Z digest=sha256:82889c5da54ff184a1149979a17fbef66889202e35545ec7645a21585818958a

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-13T20:48:52.130130Z digest=sha256:20c214f3f432312c1b900f05cfe8c4cb029b9dfc171b000926762b2ad85a736f

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-10T16:03:15.222571Z digest=sha256:a4af8e9bc7ae7a05e9506253b8f7507174be9a11807c3d3b90d3214fa89b4667

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.

source=pdf_text observed=2026-07-12T22:48:45.647588Z digest=sha256:f6d5dcce11263dd07abb57053bdf9446459d92643137bc35f8e01806b8c516e6

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-10T00:40:47.562861Z digest=sha256:f4d5782a4721d4d2dab3329b40e75da2073b796c95374207087340560d531001

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-09T14:44:31.160543Z digest=sha256:8f892daf54234683a17379f0667be98a663f6d5581a0376ca3859d89dd5da9c3

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-05-20T22:42:23.066277Z digest=sha256:3a728ca3d67fb23d12b4cfd8d7b537156be177fc89f76c086cd67966f7e17a6b

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-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-06-27T18:39:44.696961Z digest=sha256:0f7c899027e3cb39832918a337833a6f7818ed619fdfeb70b5a1a8f16337b75c

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.

source=pdf_text observed=2026-08-02T12:05:01.870935Z digest=sha256:34843926d4e38cacf42147090a510030362e6f8bab758a4c65a7253f411baa15

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-09T06:31:02.800959+00:00.

source=arxiv_source observed=2026-06-27T01:44:24.586195Z digest=sha256:c82b5bec6fd9dab590e5c08af6a18b19407ac095f1ae8de6f11c46a559feadb6