{"as_of":"2026-08-04T22:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05957a36ba60f1262728fc96e932cdb639928f543e4a9bc2f90bd335dfce52f0","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":6,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":6,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T12:05:18.196322Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T18:17:33.798014Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2604.16278","last_updated":"2026-05-29T17:46:02Z","snapshot_observed_at":"2026-07-12T19:22:43.089571Z","submitted_at":"2026-04-17T17:36:21Z","title":"Learning to Reason with Insight for Informal Theorem Proving","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T08:35:11.082440Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2604.16278"},"observation_digest":"sha256:80a16e6372d22b7244aa859b2ab7796dc72859d40da1d51ddb058eea33a918af","observation_id":"f29534e2-07d8-4d36-83ac-1b05ebe13ea5","resolution":{"observed_at":"2026-05-10T08:53:04.873243Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2604.23712","last_updated":"2026-04-28T04:48:08Z","snapshot_observed_at":"2026-07-06T23:09:52.860780Z","submitted_at":"2026-04-26T13:54:28Z","title":"OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-08T06:33:29.860024Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2604.23712"},"observation_digest":"sha256:1163df615d2434918f7c92e1bf40b6b18dcb497b552c3e2942d59390b2c876a6","observation_id":"fb3ea233-d89d-488a-8b38-3707d39e6771","resolution":{"observed_at":"2026-05-11T21:11:16.211148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"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":201,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:bb455048a00cd3b6986a1d032e949f00663858e11dd9f68cb0eacd7c7ee19369","observation_id":"512ae2c2-7fc5-4d6f-ba82-4279e2f50625","resolution":{"observed_at":"2026-07-02T22:47:25.871094Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-08-02T12:05:18.196322Z","title":"DeepTheorem: Ad- vancing LLM reasoning for theorem proving through natural language and reinforcement learning,","venue":null,"work_id":null,"year":2025},"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":203,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:18.196322Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:ffbb5a537cb6dc1401ce5adada7c06963fa6a47a9d35e6d6a04ba71efa4f55a9","observation_id":"30042887-c63a-4dac-b0d3-30814b93582f","resolution":{"observed_at":"2026-08-02T12:05:18.196322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":299,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:88112d2ea0614819fea72768220a7cb97f11426207a2ac55462bd9629a33366f","observation_id":"42e619b2-7556-421e-bc75-16f39d5103dd","resolution":{"observed_at":"2026-07-10T18:17:33.799184Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-14T02:43:21.225324Z","title":"Deeptheorem: Advancing LLM rea- soning for theorem proving through natural language and reinforcement learning.CoRR, abs/2505.23754,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.11849","last_updated":"2026-07-13T17:38:22Z","snapshot_observed_at":"2026-07-16T23:20:03.329744Z","submitted_at":"2026-07-13T17:38:22Z","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-14T02:43:21.225324Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2607.11849"},"observation_digest":"sha256:003e18cb345f26025bdbda4e04dd301c545300824b88de26b429537f933e0c94","observation_id":"55de8454-f5f5-4d43-8286-cb072f624e11","resolution":{"observed_at":"2026-07-14T02:43:21.225324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.23754/citation-record","integrity":"/paper/2505.23754/integrity","json":"/paper/2505.23754/citation-record.json","paper":"/paper/2505.23754"},"outbound":[],"paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-03T10:37:07.001905Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning"},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2505.23754."}