{"as_of":"2026-08-10T09:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b819d3c3b80dfc87cf477d007bde2fa99b1744f93f3c195bda91362416a8aeac","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":42,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T00:37:00.862173Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T19:28:52.843212Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2403.14624","last_updated":"2024-08-18T08:10:16Z","snapshot_observed_at":"2026-08-04T04:40:00.850270Z","submitted_at":"2024-03-21T17:59:50Z","title":"MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-17T01:29:30.032408Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2403.14624"},"observation_digest":"sha256:fc0e6f124b001448bba40250775df13feaa582b5791c8498aad5980f449f2758","observation_id":"b9cd169f-3315-49b4-b25b-2aa874f47b75","resolution":{"observed_at":"2026-05-17T01:29:30.245395Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2404.16821","last_updated":"2024-04-29T20:24:30Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-04-25T17:59:19Z","title":"How Far Are We to GPT-4V? Closing the Gap to Commercial Multimodal Models with Open-Source Suites","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-12T20:58:58.849040Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2404.16821"},"observation_digest":"sha256:5f544b0644e9443f846749b944bc0ff0433a058956db6a757ad0f5c08fff5994","observation_id":"5c3b7e3f-37b9-4cf4-9c95-e4b3f08d8dfa","resolution":{"observed_at":"2026-05-12T20:58:59.131726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2407.01284","last_updated":"2024-07-01T13:39:08Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-07-01T13:39:08Z","title":"We-Math: Does Your Large Multimodal Model Achieve Human-like Mathematical Reasoning?","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-16T21:55:40.808698Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2407.01284"},"observation_digest":"sha256:d5b5d698286e226eb14e6137e1efc8bcfa664862402a96891e40d9f95c60d22e","observation_id":"01e856f0-672a-4b81-8a31-6369815f38d2","resolution":{"observed_at":"2026-05-16T21:55:40.941517Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2411.10442","last_updated":"2025-04-07T09:09:39Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-11-15T18:59:27Z","title":"Enhancing the Reasoning Ability of Multimodal Large Language Models via Mixed Preference Optimization","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-16T09:16:17.150383Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2411.10442"},"observation_digest":"sha256:ac838f83e8c8c136f4858131b1d45654dea4521699682c9a1c09f76a780d5807","observation_id":"d9e7ece4-938c-40ac-986a-73efa8144455","resolution":{"observed_at":"2026-05-16T09:16:17.312900Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2412.05271","last_updated":"2025-09-26T12:52:41Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-06T18:57:08Z","title":"Expanding Performance Boundaries of Open-Source Multimodal Models with Model, Data, and Test-Time Scaling","version":5},"reference_index":164,"source":"pdf_text","source_observed_at":"2026-05-10T13:23:57.588851Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2412.05271"},"observation_digest":"sha256:eb8d93be59c69053c2b6ffc7e3fa1b3b06e58961a69b416c789b5095abab0c3d","observation_id":"3e37b3c5-6c61-4e00-b28b-a5ff42a125e3","resolution":{"observed_at":"2026-05-10T13:23:57.768385Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-10T00:37:00.862173Z","title":"arXiv preprint arXiv:2105.04165 (2021) 20","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.00059","last_updated":"2025-01-30T03:59:59Z","snapshot_observed_at":"2026-08-10T00:31:51.155914Z","submitted_at":"2025-01-30T03:59:59Z","title":"Large Language Models are Few-shot Multivariate Time Series Classifiers","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T00:37:00.862173Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2502.00059"},"observation_digest":"sha256:3c8ffee7c55694360a3fa1ca70631a8845a0d4b89f87a7f9a3cb85a6721d9840","observation_id":"5c0fdb4b-a958-4b40-b4cb-6a49aa4b0b33","resolution":{"observed_at":"2026-08-10T00:37:00.862173Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2502.02871","last_updated":"2026-04-20T02:18:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-05T04:05:27Z","title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","version":2},"reference_index":115,"source":"arxiv_source","source_observed_at":"2026-05-23T04:30:38.804702Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2502.02871"},"observation_digest":"sha256:94a4922576a409e7f7fdc8da80ab6b61b029824bfbefa08cba19e9687909f111","observation_id":"d8e2a441-726c-422f-bf4a-26abd9c644a8","resolution":{"observed_at":"2026-05-23T04:32:32.501833Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2504.10479","last_updated":"2025-04-19T03:47:21Z","snapshot_observed_at":"2026-08-10T07:07:56.707005Z","submitted_at":"2025-04-14T17:59:25Z","title":"InternVL3: Exploring Advanced Training and Test-Time Recipes for Open-Source Multimodal Models","version":3},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-10T13:41:07.991012Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2504.10479"},"observation_digest":"sha256:52ed9fa7a4da8dfe18d3533f86aa21ec9284901dd3f7b91281037fcb6755efe2","observation_id":"edf6f1d4-dce2-49f9-a15c-43dbd9a766a7","resolution":{"observed_at":"2026-05-10T13:41:08.040558Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2504.16155","last_updated":"2026-05-07T09:59:28Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-04-22T17:52:04Z","title":"PRIMETIME : Limits of LLMs in Temporal Primitives","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-22T18:36:48.376877Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2504.16155"},"observation_digest":"sha256:fc81a1dc11c548f5bafa798c1bde5ed0f7fff5c9a2551f6cba389ba4383f4071","observation_id":"8f7e1694-5143-4046-9484-d135ae004b16","resolution":{"observed_at":"2026-05-22T18:36:58.837385Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T14:31:13.950384Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.18536","last_updated":"2025-05-24T06:01:48Z","snapshot_observed_at":"2026-08-07T22:01:21.366221Z","submitted_at":"2025-05-24T06:01:48Z","title":"Reinforcement Fine-Tuning Powers Reasoning Capability of Multimodal Large Language Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T14:31:13.950384Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2505.18536"},"observation_digest":"sha256:3d9e952827f57e327e9b34d9f7d2daee0c0e4f49c2eadac2e0f6c174b2d57c9f","observation_id":"f9b6a6df-454f-473b-a4f1-bc38cbc032f4","resolution":{"observed_at":"2026-08-07T14:31:13.950384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2505.19075","last_updated":"2026-05-20T08:13:51Z","snapshot_observed_at":"2026-07-30T16:12:36.732031Z","submitted_at":"2025-05-25T10:19:10Z","title":"Universal Reasoner: A Single, Composable Plug-and-Play Reasoner for Frozen LLMs","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-22T01:16:51.288077Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2505.19075"},"observation_digest":"sha256:1a67e66901732d903b18bbc7b84e9d757b4e35d29f19f99db18250ac26f56863","observation_id":"2aad626e-20b7-46ea-a334-ef43ac666b0c","resolution":{"observed_at":"2026-05-22T01:20:52.171935Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T13:59:37.062514Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.20289","last_updated":"2025-07-19T05:24:59Z","snapshot_observed_at":"2026-08-09T06:01:05.298875Z","submitted_at":"2025-05-26T17:59:17Z","title":"VisualToolAgent (VisTA): A Reinforcement Learning Framework for Visual Tool Selection","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:59:37.062514Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2505.20289"},"observation_digest":"sha256:f678ef9e0bc09e284a500efe1f3d2659a8d4193cb7c0fdbca62133d26688992a","observation_id":"14f40af1-03f3-4515-ba06-7b0a00e206f9","resolution":{"observed_at":"2026-08-07T13:59:37.062514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T13:12:54.641119Z","title":"Inter- gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.22334","last_updated":"2025-07-23T07:37:08Z","snapshot_observed_at":"2026-08-08T13:10:29.457567Z","submitted_at":"2025-05-28T13:21:38Z","title":"Advancing Multimodal Reasoning via Reinforcement Learning with Cold Start","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:12:54.641119Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2505.22334"},"observation_digest":"sha256:059a84d8df2dcf0c75d0cf9e099c583a659f3bc096ce944ac0393f698bb12847","observation_id":"17c6a821-cd57-45ff-bd17-2baff1321b62","resolution":{"observed_at":"2026-08-07T13:12:54.641119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T11:22:40.923802Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.02690","last_updated":"2025-06-03T09:42:49Z","snapshot_observed_at":"2026-08-07T11:15:50.973031Z","submitted_at":"2025-06-03T09:42:49Z","title":"Towards Geometry Problem Solving in the Large Model Era: A Survey","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-07T11:22:40.923802Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2506.02690"},"observation_digest":"sha256:6d63031c2e9fdb649d19baf6b982c66bcccdba0154b6269865d726f200cc054e","observation_id":"6124a974-498c-4543-b503-b55c8ecaca56","resolution":{"observed_at":"2026-08-07T11:22:40.923802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T06:08:24.805851Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning.arXiv preprint arXiv:2105.04165, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.06034","last_updated":"2025-06-06T12:33:12Z","snapshot_observed_at":"2026-08-10T08:45:42.016651Z","submitted_at":"2025-06-06T12:33:12Z","title":"MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T06:08:24.805851Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2506.06034"},"observation_digest":"sha256:0e36a53b53e86b4256481b82a4120394e06393c77e6862359bfce28658f063b1","observation_id":"a2bc0fef-0689-471b-9728-ded97078fcc0","resolution":{"observed_at":"2026-08-07T06:08:24.805851Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T06:02:30.350057Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.06279","last_updated":"2025-06-06T17:59:06Z","snapshot_observed_at":"2026-08-09T01:20:21.315494Z","submitted_at":"2025-06-06T17:59:06Z","title":"CoMemo: LVLMs Need Image Context with Image Memory","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-07T06:02:30.350057Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2506.06279"},"observation_digest":"sha256:794b51789a425853da3e1f0d935cc55f50ac089d878d19ec919ad1a5b0c23aa8","observation_id":"e3b3ff6b-8025-4c8a-98d7-14cdf5e688b2","resolution":{"observed_at":"2026-08-07T06:02:30.350057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T05:38:58.315986Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.07418","last_updated":"2025-06-09T04:35:02Z","snapshot_observed_at":"2026-08-08T00:41:58.254546Z","submitted_at":"2025-06-09T04:35:02Z","title":"Evaluating Visual Mathematics in Multimodal LLMs: A Multilingual Benchmark Based on the Kangaroo Tests","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:38:58.315986Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2506.07418"},"observation_digest":"sha256:325ff824ee8eee529992af4d9ddabaf610802f4527ab6d6c891dfbf58d1b788a","observation_id":"1b2bac11-e557-41de-90d9-0663e5af949e","resolution":{"observed_at":"2026-08-07T05:38:58.315986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-07T04:06:40.288156Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.11595","last_updated":"2025-06-13T09:03:33Z","snapshot_observed_at":"2026-08-08T16:48:58.608663Z","submitted_at":"2025-06-13T09:03:33Z","title":"EasyARC: Evaluating Vision Language Models on True Visual Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T04:06:40.288156Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2506.11595"},"observation_digest":"sha256:3fb50de7982092ca8a83f0f718a4ad53b1677a68921312f00671838244d9c7b1","observation_id":"8bd1caa5-f657-4bf0-8ecc-c2381e7cc797","resolution":{"observed_at":"2026-08-07T04:06:40.288156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-06T19:31:27.365488Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.05386","last_updated":"2026-06-29T17:47:49Z","snapshot_observed_at":"2026-08-06T19:25:14.929252Z","submitted_at":"2025-07-07T18:17:06Z","title":"Reinforcement Fine-Tuning Naturally Mitigates Forgetting in Continual Post-Training","version":6},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T19:31:27.365488Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2507.05386"},"observation_digest":"sha256:002d238d412c0bd56d0ff37202a7eec60a778e9bbc19030ba76a3ee4f09c673b","observation_id":"5d099484-d193-4eb7-a902-5bca99a3e8ee","resolution":{"observed_at":"2026-08-06T19:31:27.365488Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-06T16:50:04.330336Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12566","last_updated":"2025-07-16T18:31:23Z","snapshot_observed_at":"2026-08-09T09:38:10.605452Z","submitted_at":"2025-07-16T18:31:23Z","title":"Mono-InternVL-1.5: Towards Cheaper and Faster Monolithic Multimodal Large Language Models","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-06T16:50:04.330336Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2507.12566"},"observation_digest":"sha256:0484826c19cbf66737e1238a4187c22a47d905dc7a73ca0d37092e55d25f419d","observation_id":"3eaa7f89-402a-4e8d-bff3-c1d1320a9647","resolution":{"observed_at":"2026-08-06T16:50:04.330336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2508.06226","last_updated":"2026-05-14T12:18:38Z","snapshot_observed_at":"2026-08-02T10:40:08.528122Z","submitted_at":"2025-08-08T11:11:37Z","title":"GeoLaux: A Benchmark for Evaluating MLLMs' Geometry Performance on Long-Step Problems Requiring Auxiliary Lines","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-19T00:38:43.897231Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2508.06226"},"observation_digest":"sha256:5dc4cd977175c2504bdbefc318c6eddafd8cd2e311aa824e387ea5f9995f736b","observation_id":"9d6ffc7c-6e2b-4fd2-8e38-723033258818","resolution":{"observed_at":"2026-05-19T00:41:56.092818Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2510.10606","last_updated":"2026-05-11T09:09:01Z","snapshot_observed_at":"2026-08-04T10:28:28.457487Z","submitted_at":"2025-10-12T13:42:55Z","title":"ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for Large Vision-and-Language Models","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-18T07:23:59.514624Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2510.10606"},"observation_digest":"sha256:79a30dcbba0e071da5ef47712531cdf8e93ea69786019863a5e36360a6c72e67","observation_id":"6f864aec-d7f1-4985-bffe-6325963cf801","resolution":{"observed_at":"2026-05-18T07:26:03.142818Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-04T00:15:21.937499Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.02360","last_updated":"2026-05-26T12:26:50Z","snapshot_observed_at":"2026-08-04T00:15:08.705793Z","submitted_at":"2025-11-04T08:28:46Z","title":"LaRe: Latent Refocusing for Multimodal Reasoning","version":4},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-04T00:15:21.937499Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2511.02360"},"observation_digest":"sha256:b69977979e7fb957a83da5943aab9988ec98f5132f597fc9d342f4ddb3d99dba","observation_id":"1953e59d-2c15-4a98-b823-805c22aa0dba","resolution":{"observed_at":"2026-08-04T00:15:21.937499Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2511.19972","last_updated":"2026-05-07T02:58:13Z","snapshot_observed_at":"2026-08-06T20:13:12.622191Z","submitted_at":"2025-11-25T06:31:57Z","title":"Boosting Reasoning in Large Multimodal Models via Activation Replay","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-17T05:05:48.682057Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2511.19972"},"observation_digest":"sha256:4bafc558bf352166d315b73fd643cb597620815defe442e1255ded26ed2d42fd","observation_id":"192f92ad-f043-4c2a-8fa0-b101e3ce0e18","resolution":{"observed_at":"2026-05-17T05:09:04.061771Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2511.20814","last_updated":"2026-04-05T23:59:08Z","snapshot_observed_at":"2026-08-06T09:15:03.837609Z","submitted_at":"2025-11-25T20:00:47Z","title":"SPHINX: A Synthetic Environment for Visual Perception and Reasoning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-17T04:19:26.808804Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2511.20814"},"observation_digest":"sha256:52ded26854aabe42150279dac9ea30abb53b4b8bb3c980d6d69174559d3d89f0","observation_id":"ce7a5fde-bfca-4027-ab6f-a1632a444bd9","resolution":{"observed_at":"2026-05-17T04:21:30.772379Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-03T17:15:17.662153Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic reasoning.arXiv preprint arXiv:2105.04165, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.10414","last_updated":"2026-05-30T03:42:16Z","snapshot_observed_at":"2026-08-09T16:57:47.996624Z","submitted_at":"2025-12-11T08:27:02Z","title":"Boosting RL-Based Visual Reasoning with Selective Adversarial Entropy Intervention","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T17:15:17.662153Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2512.10414"},"observation_digest":"sha256:3195e000f92325887d9d076841aa37dcfffb24d9631c3fdea26edcc84e3ea56c","observation_id":"8c67b9d6-3789-4281-b6c3-681cb2ab85e8","resolution":{"observed_at":"2026-08-03T17:15:17.662153Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-03T11:13:16.869250Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic reasoning.arXiv preprint arXiv:2105.04165, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.07298","last_updated":"2026-06-21T08:39:33Z","snapshot_observed_at":"2026-08-08T14:41:26.174719Z","submitted_at":"2026-01-12T08:15:36Z","title":"Mimic Human Cognition, Master Multi-Image Reasoning: A Meta-Action Framework for Enhanced Visual Understanding","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-03T11:13:16.869250Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2601.07298"},"observation_digest":"sha256:93d7921e3143312bcb2228362787c6d024fd457cb3a865352d4489c11611eaed","observation_id":"612798e0-9bb6-47f0-881a-4ea4e7d82067","resolution":{"observed_at":"2026-08-03T11:13:16.869250Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-03T03:21:13.887624Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.08503","last_updated":"2026-06-04T07:08:18Z","snapshot_observed_at":"2026-08-08T03:26:45.601937Z","submitted_at":"2026-02-09T10:55:13Z","title":"Learning Self-Correction in Vision-Language Models via Rollout Augmentation","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-03T03:21:13.887624Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2602.08503"},"observation_digest":"sha256:224bfab0b1bb93811cdaede1b52b606c682128b4225152cd580b64b61472ef1d","observation_id":"42dead94-8c66-4fb5-b628-9b550f2e79cc","resolution":{"observed_at":"2026-08-03T03:21:13.887624Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2602.11731","last_updated":"2026-04-29T01:08:35Z","snapshot_observed_at":"2026-08-07T03:47:17.716581Z","submitted_at":"2026-02-12T08:54:02Z","title":"Thinking with Drafting: Optical Decompression via Logical Reconstruction","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-16T03:28:32.264246Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2602.11731"},"observation_digest":"sha256:1c690a9ed5a24d44c35a2a018f384cf4320125559d58e05e127e4bf2b44c4de2","observation_id":"90afac3c-b9d3-45a8-ae3c-493513d0a53b","resolution":{"observed_at":"2026-05-16T03:30:32.831917Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2602.18600","last_updated":"2026-07-29T09:42:45Z","snapshot_observed_at":"2026-08-02T22:00:02.664173Z","submitted_at":"2026-02-20T20:22:18Z","title":"MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-15T20:12:46.385646Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2602.18600"},"observation_digest":"sha256:6f3bfc72fb92520188ac27006e4563e4d400944792a98c358c53f18fab53e8ac","observation_id":"ea8c3eff-e336-460d-ab9e-2951bb81624f","resolution":{"observed_at":"2026-05-15T20:16:34.598586Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2602.18600","last_updated":"2026-07-29T09:42:45Z","snapshot_observed_at":"2026-08-02T22:00:02.664173Z","submitted_at":"2026-02-20T20:22:18Z","title":"MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-22T10:30:06.829915Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2602.18600"},"observation_digest":"sha256:7b876cc7ec3b42bbb21d7bb42987aff7a3edfd943705d66118af875a417bc9df","observation_id":"ea4f9f06-1559-4b65-a6f2-16f669e4ecc7","resolution":{"observed_at":"2026-05-22T10:31:25.112966Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-02T22:00:06.971790Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning.arXiv preprint arXiv:2105.04165, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.18600","last_updated":"2026-07-29T09:42:45Z","snapshot_observed_at":"2026-08-02T22:00:02.664173Z","submitted_at":"2026-02-20T20:22:18Z","title":"MapTab: A Diagnostic Benchmark for Long-Horizon Multi-Criteria Multimodal Reasoning on Heterogeneous Topological Graphs","version":5},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T22:00:06.971790Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2602.18600"},"observation_digest":"sha256:6c086d99bb68464d68b6d30122924637858eeb8e26743c19b975d1e3217b029e","observation_id":"fbb0382c-0bd2-476f-99ce-953d3579fe7d","resolution":{"observed_at":"2026-08-02T22:00:06.971790Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-02T19:57:31.852590Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and sym- bolic reasoning.arXiv preprint arXiv:2105.04165, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2603.06652","last_updated":"2026-06-11T03:22:36Z","snapshot_observed_at":"2026-08-08T15:19:21.893831Z","submitted_at":"2026-02-28T04:33:11Z","title":"PaLMR: Towards Faithful Visual Reasoning via Multimodal Process Alignment","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T19:57:31.852590Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2603.06652"},"observation_digest":"sha256:82889c5da54ff184a1149979a17fbef66889202e35545ec7645a21585818958a","observation_id":"b30e5a92-d1ab-4d14-9496-94f4d993ad34","resolution":{"observed_at":"2026-08-02T19:57:31.852590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2604.03179","last_updated":"2026-04-03T16:56:34Z","snapshot_observed_at":"2026-07-06T22:52:25.307426Z","submitted_at":"2026-04-03T16:56:34Z","title":"Understanding the Role of Hallucination in Reinforcement Post-Training of Multimodal Reasoning Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-13T20:48:52.130130Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2604.03179"},"observation_digest":"sha256:288beeee9c2d22e68194d367645877ec66345d3979b4f4f61988ebb1db1671f3","observation_id":"2fe5d713-35ad-42fe-80e6-052089a7a479","resolution":{"observed_at":"2026-05-13T20:53:16.272449Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2604.10219","last_updated":"2026-05-28T16:20:33Z","snapshot_observed_at":"2026-08-01T16:49:58.717615Z","submitted_at":"2026-04-11T13:59:05Z","title":"Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-05-10T16:03:15.222571Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2604.10219"},"observation_digest":"sha256:ed351ed47377f58295304198d72f06ae88c3234f50387e4f324fb1278dabbaca","observation_id":"03067e77-4ecb-438b-b337-6f7865eef60e","resolution":{"observed_at":"2026-05-11T09:25:59.363052Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-12T22:48:45.647588Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2604.10219","last_updated":"2026-05-28T16:20:33Z","snapshot_observed_at":"2026-08-01T16:49:58.717615Z","submitted_at":"2026-04-11T13:59:05Z","title":"Cognitive Pivot Points and Visual Anchoring: Unveiling and Rectifying Hallucinations in Multimodal Reasoning Models","version":2},"reference_index":112,"source":"pdf_text","source_observed_at":"2026-07-12T22:48:45.647588Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2604.10219"},"observation_digest":"sha256:f6d5dcce11263dd07abb57053bdf9446459d92643137bc35f8e01806b8c516e6","observation_id":"2ac1158a-d93a-446b-922c-581b69c4a8d8","resolution":{"observed_at":"2026-07-12T22:48:45.647588Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2604.20806","last_updated":"2026-04-22T17:37:40Z","snapshot_observed_at":"2026-08-02T21:32:46.195325Z","submitted_at":"2026-04-22T17:37:40Z","title":"OMIBench: Benchmarking Olympiad-Level Multi-Image Reasoning in Large Vision-Language Model","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-10T00:40:47.562861Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2604.20806"},"observation_digest":"sha256:0f4f416efa95751c93c02e6421b4cfe532e86b226e0eaa934a2966ab4b300403","observation_id":"134bf068-df47-41ac-84eb-360098d138ff","resolution":{"observed_at":"2026-05-11T13:46:03.332164Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2605.01327","last_updated":"2026-05-07T08:09:44Z","snapshot_observed_at":"2026-07-29T17:18:59.626285Z","submitted_at":"2026-05-02T08:47:45Z","title":"Segment-Aligned Policy Optimization for Multi-Modal Reasoning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-09T14:44:31.160543Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2605.01327"},"observation_digest":"sha256:f7023fc493e97f104a7ffbcc4cd1fdf622404ca9f236f4e649c108325c8c1128","observation_id":"bc31d786-8a70-4b1c-8076-a10e29f79c4e","resolution":{"observed_at":"2026-05-11T16:51:08.012769Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2605.16371","last_updated":"2026-05-10T13:13:47Z","snapshot_observed_at":"2026-07-06T23:27:34.514541Z","submitted_at":"2026-05-10T13:13:47Z","title":"GeoSym127K: Scalable Symbolically-verifiable Synthesis for Multimodal Geometric Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-20T22:42:23.066277Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2605.16371"},"observation_digest":"sha256:8b4b39a8342f482540e81a633518b10442f321eaf18a3f268e62d16cc76bbfb8","observation_id":"aa6513c7-3504-46b5-a208-19b08452d238","resolution":{"observed_at":"2026-05-20T22:43:50.477596Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:f38181d08a1e89fa605d3b05ec4b0c89a8f56cf2356837b648006e1f481f76ef","observation_id":"71629ea8-f77d-4e80-84fa-df1c27e0fe5e","resolution":{"observed_at":"2026-07-02T22:47:25.963032Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-08-02T12:05:01.870935Z","title":"Inter-GPS: Interpretable geometry problem solving with formal language and symbolic reasoning,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:01.870935Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:34843926d4e38cacf42147090a510030362e6f8bab758a4c65a7253f411baa15","observation_id":"8e7ba0c0-5e2d-4036-91c7-9ed0ce07fda7","resolution":{"observed_at":"2026-08-02T12:05:01.870935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","version":3},"cited_work":{"arxiv_id":"2105.04165","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2105.04165","snapshot_observed_at":"2026-07-03T19:28:52.843212Z","title":"Inter-gps: Interpretable geometry problem solving with formal language and symbolic reasoning","venue":null,"work_id":"99d7e9ec-ee77-4407-bbba-e0794ed1a869","year":2021},"citing_paper":{"arxiv_id":"2606.17678","last_updated":"2026-06-16T08:45:24Z","snapshot_observed_at":"2026-08-09T21:46:38.793485Z","submitted_at":"2026-06-16T08:45:24Z","title":"See First, Answer Later: Visual Evidence Pre-Alignment via Sufficiency-Driven RL","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-06-27T01:44:24.586195Z"},"links":{"cited_paper":"/paper/2105.04165","citing_paper":"/paper/2606.17678"},"observation_digest":"sha256:eb800f915aa200272afaa14adf3fe5ce61d088303675c017c5d5e95000c6861f","observation_id":"2194a829-53f6-46fa-8298-4efa89bdfc18","resolution":{"observed_at":"2026-07-03T19:28:52.844943Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2105.04165/citation-record","integrity":"/paper/2105.04165/integrity","json":"/paper/2105.04165/citation-record.json","paper":"/paper/2105.04165"},"outbound":[],"paper":{"arxiv_id":"2105.04165","last_updated":"2021-07-20T23:22:27Z","latest_version":3,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-06T13:29:31.050456Z","submitted_at":"2021-05-10T07:46:55Z","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}