{"as_of":"2026-08-07T20:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c2f57820392f72296013cf98229e24f5b6b0fb1a1dc4c313fc52c70114979297","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":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":41,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:31:13.950384Z","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:1adbd25a3cf1f80a707e863b09f649378fdff2c8b10089f7bdfc1db3cc633b66","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:37433df6da28f06af3aca48989e34c293cb129891cee698fb23d62b4a2f69ef5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:52232691d0e62f06ada63fb8bd9784bb921b7943f096d69fb555c1cfbae4be41","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:f6c68a738aafec646525f88a8e9b4ab2d25f6ffaef724c0fbcf4351f932f34a6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:07ba6a362f285477ec6974e3235ee81f3d21d8f233aba3815d0b10d96753c347","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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":"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:49f400276b2bf8cbcd96932b6cbeca42a065c9adcc72b73e8981ba5f7eedeafe","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T02:11:23.670680Z","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:2921e75a526d2190cae5e8d6d211e513150ee3066e00d250ee096b4778126ba3","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:527c1b41a908cabf0189922f7f940dc742dc7f4970ce636d2ac31c5069b99b27","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T20:39:20.855122Z","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:0e99d0001cfca9f0200ba3b4141fcf210ac634a6672647340745603315e8ecae","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:a0c639871a3d768afd18b7a7c8cbdcf6d514e80c9f4dbe035a77aaabef900bc4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T13:53:18.158133Z","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:bf5f1ea6783981ba5fd8059e4e804bdea199862ea769ff4987e1426cc6fc4f6e","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-07T13:07:24.029651Z","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:ac956e501f0ca0752d1c1fef0dc671412e1e997a86be1b46816b2e1a19ed7cb2","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-07T11:02:58.667459Z","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:5b2299fe955514189cf77652187a46ea15070c5ffa100847d04fe8904c02e49b","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-07T05:54:42.681893Z","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:898d0828872a9cf51e86b8a4b14d9ff1807b5ed738197534ce27ac12a3b547de","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-07T05:32:17.517060Z","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:647a235698f1e8c705552f8bf7f1db5d6ec4d6fe6a4bbde7f2316fd0389bf98c","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-07T14:50:56.312319Z","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:1e7cbd05dd0b8bf0d81af7e47a360e22e76b6c0b6cd87f34e087b32ae2ff7351","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-07T02:53:11.371837Z","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:57248f4001c0c63b8b7efe6e40238d0a069745f84bcd564f3d5fa71acfdb81c2","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:a07c4e25a6eb0e53809bb8f3ff534d116024c5e1994bf3e55a4496003b128933","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:35ba2b1bf8a64ef2f5e89b72cdaf24aab3206a3ac6bdebf8aeff15122cf35109","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:b6c1ec8b3668e16d6ee514a6b8fd45713011b0ec31dd7d4188cff19970982857","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:6d467f64be3be6143c868ec9f1bee00f250f66e4e0cdf36ece0911716a7deb52","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T20:26:41.377945Z","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:87680835c4b2468631307da90ab59996b6da725a0fff5739b73a216d2e82951c","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-07T01:28:13.061117Z","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:4a96e1cdc93b596bee46392daaf9027bbd0e29a4f719ffccc9a245ec2889dffb","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-06T04:18:08.340750Z","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:e2b90d9fd55d27ed94cef826f2283ca95e9e7915b6883a9eac1750f5d1c7315b","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:1cce3b5847c53de45a54938986d63a222c561864ff443a701eda15da0e31e984","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:76481f0b587a74a4ddbac877a283d7eaeca29fd9f0660ec2f187c84fc3c86a54","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1e5096877843c17e8979aa876e8b92624cf262444941748ff7a8888b00e3690d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T18:35:30.659839Z","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:2c5bd15fba2c5d69e48d0ea96f09f09e1b71b79351d4994a292ea5e058c072d5","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:1a8c3c3508119951f1bcdc2de57f72d6e5fc80bccdbf5771f5bc8ce10386bc58","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:dd7963d781af977d35e4274626f67aa084118b50b17bb6156d678e3de11c0353","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1049267daf59a28efb79d4b5cc8601fa470f5c0e000aab6d2fb801393ba4962d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d05db9841eaee3e1be4a60b0504b3c958e30f2bffe02b15f10ce96ef59710ca1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d11f3ad6cb779ebeb14d06750e4987c1a3ffdc06b2c03e13ef5b1222da88045c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:7009431b3ab120771b58ee57beeb4170c8b30ee53c818db4c8d0a691f8d6f2a8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-02T21:26:38.863648Z","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:3e67fc5c262e8bb8f471f504434f6332095c27e127d44fb963216ef1d309c771","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 41 inbound Pith citation observations for arXiv:2105.04165."}