{"as_of":"2026-08-14T10:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:67cf662c820ce66e8b5c20c291d96a6c8eeec6387544eab7c22e78f9829c7c49","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T19:54:36.895334Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":22,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T11:40:12.012166Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2503.09567","last_updated":"2025-07-18T15:57:54Z","snapshot_observed_at":"2026-08-08T22:33:20.124926Z","submitted_at":"2025-03-12T17:35:03Z","title":"Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models","version":5},"reference_index":161,"source":"pdf_text","source_observed_at":"2026-05-12T08:40:40.910461Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2503.09567"},"observation_digest":"sha256:bcdd24a5b2c5750c7dccbd145dbb0da5f0038d92f0b0a281dc5e2b9474250de9","observation_id":"42d1b6ce-886e-46bb-8bc2-656036d468bf","resolution":{"observed_at":"2026-05-12T08:40:42.144739Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-07T11:40:12.012166Z","title":"Stp: Self-play llm theorem provers with iterative conjecturing and proving, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.01716","last_updated":"2025-06-02T14:23:33Z","snapshot_observed_at":"2026-08-13T13:26:12.361661Z","submitted_at":"2025-06-02T14:23:33Z","title":"Self-Challenging Language Model Agents","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T11:40:12.012166Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2506.01716"},"observation_digest":"sha256:00f1459595cb9f2d6e1da6c111cdaf6291b70aafbc1f817cff87f5f68e0490ec","observation_id":"3e308654-6358-4618-b627-6424c6b70c04","resolution":{"observed_at":"2026-08-07T11:40:12.012166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-07T05:59:03.191174Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.06499","last_updated":"2025-06-17T12:55:30Z","snapshot_observed_at":"2026-08-11T17:05:15.394681Z","submitted_at":"2025-06-06T19:49:42Z","title":"SPARQ: Synthetic Problem Generation for Reasoning via Quality-Diversity Algorithms","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:59:03.191174Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2506.06499"},"observation_digest":"sha256:14fb2223c2828a3c451d8192b2ff1ddb573d897f3721949e437122467b732086","observation_id":"636b0f40-d2ce-4b00-a687-2fa29576a052","resolution":{"observed_at":"2026-08-07T05:59:03.191174Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-07T04:46:23.371885Z","title":"Beyond limited data: Self-play llm theorem provers with iterative conjecturing and proving.arXiv preprint arXiv:2502.00212, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.09820","last_updated":"2025-06-12T12:50:37Z","snapshot_observed_at":"2026-08-13T23:13:07.804808Z","submitted_at":"2025-06-11T14:59:02Z","title":"CoRT: Code-integrated Reasoning within Thinking","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T04:46:23.371885Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2506.09820"},"observation_digest":"sha256:616e9f6bec62a379d7be8712988b04eb8e56596ed611cd5acdff66cd7e90deb0","observation_id":"1c9108d8-0344-490c-bead-9c11fbc466ee","resolution":{"observed_at":"2026-08-07T04:46:23.371885Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-06T22:17:28.505860Z","title":"and Ma, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-13T08:08:55.921390Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.505860Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:5806f70d555b9ce3a7a3a1d81fb801a774749ea5d9d36c463c2c650475985716","observation_id":"e0924e99-6d55-4bba-b614-644ba8138ead","resolution":{"observed_at":"2026-08-06T22:17:28.505860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-06T18:18:44.264374Z","title":"Dong and T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.08649","last_updated":"2025-07-11T14:53:14Z","snapshot_observed_at":"2026-08-09T23:19:58.865305Z","submitted_at":"2025-07-11T14:53:14Z","title":"Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T18:18:44.264374Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2507.08649"},"observation_digest":"sha256:e8648ad720af7799aba00c36308aab1b97453f465b28a381fbce4f5c87f93d49","observation_id":"c096c8f9-4e54-4d66-9749-2cdf66e2615c","resolution":{"observed_at":"2026-08-06T18:18:44.264374Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-06T13:47:36.544131Z","title":"STP: Self-play llm theorem provers with iterative conjecturing and proving","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.20199","last_updated":"2025-08-13T10:58:50Z","snapshot_observed_at":"2026-08-12T16:55:57.874456Z","submitted_at":"2025-07-27T09:38:32Z","title":"StepFun-Prover Preview: Let's Think and Verify Step by Step","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T13:47:36.544131Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2507.20199"},"observation_digest":"sha256:341914f56a2116104b9aafd9c7cbf1e939d1c113300f96d8107ba480cda2722c","observation_id":"6b6bfbef-250e-4999-aa23-07535df80394","resolution":{"observed_at":"2026-08-06T13:47:36.544131Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-06T10:30:44.607322Z","title":"Stp: Self-play llm theorem provers with iterative conjecturing and proving, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.23726","last_updated":"2025-08-01T03:36:47Z","snapshot_observed_at":"2026-08-07T12:23:31.292936Z","submitted_at":"2025-07-31T17:00:30Z","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T10:30:44.607322Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2507.23726"},"observation_digest":"sha256:e1fcf81d5718baccc4a074663fd6043e64fc17609ae08d24c32a722cabae1a08","observation_id":"c9efde40-5d11-4810-b1f2-7af930db3781","resolution":{"observed_at":"2026-08-06T10:30:44.607322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-13T13:08:02.531340Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-15T08:51:37.827144Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2510.01346"},"observation_digest":"sha256:16df8f9d89b6e3a44694d73aa5ff723214f8cdb371dd09f0e55a50b663bc3e9c","observation_id":"2bf7fcfe-cf6a-4077-8062-4b8fb2ebab72","resolution":{"observed_at":"2026-05-15T08:51:37.917166Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-14T00:24:06.265998Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:f61059665f2a64affff20b4eed11206f584c2d88af4a0e2008ab3d4c45d7418e","observation_id":"f65bc2f1-88b6-4df2-b04e-ea65cc798afa","resolution":{"observed_at":"2026-05-15T18:46:28.999335Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-07-13T13:34:41.548490Z","title":"Ege Erdil and Tamay Besiroglu","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2604.03070","last_updated":"2026-06-19T04:47:04Z","snapshot_observed_at":"2026-08-12T13:30:06.219076Z","submitted_at":"2026-04-03T14:50:16Z","title":"How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T13:34:41.548490Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2604.03070"},"observation_digest":"sha256:eb99bde9d9a37ddfcad085b244a6ab31a70b95a019bba239744f1cfb54887523","observation_id":"90452797-8029-40ac-94fb-f3323324ef0d","resolution":{"observed_at":"2026-07-13T13:34:41.548490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2604.03071","last_updated":"2026-04-03T14:51:01Z","snapshot_observed_at":"2026-08-14T08:02:40.212457Z","submitted_at":"2026-04-03T14:51:01Z","title":"Automatic Textbook Formalization","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-13T20:08:10.087342Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2604.03071"},"observation_digest":"sha256:c2708307ec223334284450429663777c90cbb43d4c06653eca5a8aab362b8f8c","observation_id":"b9a812d8-b3c5-4c68-bee9-d5aaa9142fad","resolution":{"observed_at":"2026-05-13T20:08:12.501925Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2604.20209","last_updated":"2026-08-11T17:43:40Z","snapshot_observed_at":"2026-08-14T10:11:59.210790Z","submitted_at":"2026-04-22T05:50:23Z","title":"Scaling Self-Play with Self-Guidance","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-10T01:31:06.090698Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2604.20209"},"observation_digest":"sha256:fddb5cbe471bddc7edc123e8b98cabb3f2b493991a258ccd9da1889f78802541","observation_id":"0366fb5b-ef64-4924-bcae-5ed8fbdb4034","resolution":{"observed_at":"2026-05-11T13:31:05.725772Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:a65d085491d26dc734f72abbd5d8dfe3626e488d1bbde859dfe423740b71da31","observation_id":"c0039890-8868-4fee-a0ff-d2255c69176b","resolution":{"observed_at":"2026-05-12T00:11:16.752250Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2605.17283","last_updated":"2026-05-17T06:39:05Z","snapshot_observed_at":"2026-08-08T15:14:20.631028Z","submitted_at":"2026-05-17T06:39:05Z","title":"OProver: A Unified Framework for Agentic Formal Theorem Proving","version":1},"reference_index":165,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:fc66077a295e72e190d1d07131a8214d85a303dc347ea4eb09f0e045c1c4a0a5","observation_id":"1f267ed3-f4d9-4dc3-9e43-63efc5c4fcab","resolution":{"observed_at":"2026-05-20T14:48:23.486980Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2606.17581","last_updated":"2026-06-16T06:43:08Z","snapshot_observed_at":"2026-07-06T23:53:07.149182Z","submitted_at":"2026-06-16T06:43:08Z","title":"Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T22:23:42.299674Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2606.17581"},"observation_digest":"sha256:5a71dd1749bd8c2fe3301e08627db207c2c6b4fb1be40fdce4a792349a83b992","observation_id":"b857fdcb-24b7-4e1d-8a2c-d8f705426ac6","resolution":{"observed_at":"2026-07-03T23:19:04.441456Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2606.26454","last_updated":"2026-07-18T18:38:00Z","snapshot_observed_at":"2026-08-11T12:59:21.045648Z","submitted_at":"2026-06-24T23:30:08Z","title":"Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-26T01:14:21.040005Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2606.26454"},"observation_digest":"sha256:07924eaef8789d25c6a3f85e62a98adf027d47a0900252ba83018f7579028b48","observation_id":"58cff01e-66e8-4f68-a285-29cc99a0cfb4","resolution":{"observed_at":"2026-07-04T15:49:58.284860Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-02T10:15:35.655380Z","title":"https://arxiv.org/abs/2502.00212","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.26454","last_updated":"2026-07-18T18:38:00Z","snapshot_observed_at":"2026-08-11T12:59:21.045648Z","submitted_at":"2026-06-24T23:30:08Z","title":"Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T10:15:35.655380Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2606.26454"},"observation_digest":"sha256:908efb30f2612d85e768248195732452f9f00be0b15e92901272e506e924d985","observation_id":"b29d6024-fca4-4488-a244-522187f7bf1e","resolution":{"observed_at":"2026-08-02T10:15:35.655380Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","year":2025},"citing_paper":{"arxiv_id":"2607.02390","last_updated":"2026-07-02T16:25:10Z","snapshot_observed_at":"2026-08-03T00:49:51.748486Z","submitted_at":"2026-07-02T16:25:10Z","title":"DecompRL: Solving Harder Problems by Learning Modular Code Generation","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-03T16:30:34.793328Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2607.02390"},"observation_digest":"sha256:547576bbee05238a1f0634b489d7fddb7bd2230acd86e36e355af05135d4f619","observation_id":"6271abd0-3a25-4b00-a863-7afb0bb0ec8e","resolution":{"observed_at":"2026-07-03T16:38:39.729063Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-07-12T01:53:44.674517Z","title":"Dou, S., Jia, H., Wu, S., Zheng, H., Wu, M., Tao, Y ., Zhang, M., Chai, M., Fan, J., Xi, Z., Zheng, R., Wu, Y ., Wen, M., Gui, T., Zhang, Q., Qiu, X., and Huang, X","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.03523","last_updated":"2026-07-03T17:51:52Z","snapshot_observed_at":"2026-08-13T01:00:04.152126Z","submitted_at":"2026-07-03T17:51:52Z","title":"Anchored Self-Play for Code Repair","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T01:53:44.674517Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2607.03523"},"observation_digest":"sha256:656e437f72b902cd3c416c9f0e9ffa248204eef0bfa593daa8ea3a4ed534876b","observation_id":"5f98adac-40f0-4ccd-871a-e35b22b71f9d","resolution":{"observed_at":"2026-07-12T01:53:44.674517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-07-11T16:08:39.755740Z","title":"Stp: Self-play llm theorem provers with iterative conjecturing and proving.arXiv preprint arXiv:2502.00212, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.04631","last_updated":"2026-07-06T03:31:14Z","snapshot_observed_at":"2026-08-06T21:22:23.938933Z","submitted_at":"2026-07-06T03:31:14Z","title":"Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T16:08:39.755740Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2607.04631"},"observation_digest":"sha256:66a7dc2e00defc0cef50a153de364890a84662736c56b58bb147f184702a4369","observation_id":"bf4ba96c-5752-440e-abf8-617947cdda98","resolution":{"observed_at":"2026-07-11T16:08:39.755740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":"2502.00212","doi":"10.48550/arxiv.2502.00212","metadata_source":"pith","pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"arXiv preprint arXiv:2502.00212 , year=","venue":"cs.LG","work_id":"d370c543-ec8f-4876-875f-2fe9224e898f","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":61,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:3f5b81e4e26a4bdaab4e9ff69606bd9c5a47cd498555f8b20e2545e9ade9b665","observation_id":"5b9dcf02-a9b9-40a5-9690-2f5e66d6ce23","resolution":{"observed_at":"2026-07-10T18:17:33.735704Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.00212/citation-record","integrity":"/paper/2502.00212/integrity","json":"/paper/2502.00212/citation-record.json","paper":"/paper/2502.00212"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.196227Z","title":null,"venue":null,"work_id":"bbd06c4f-5c2c-4010-9c56-21e9b8a65c70","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.800995Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:9ddb664c3530a224822960515bf765a5182d5fe1f0750ad98d9a498befecae93","observation_id":"e03eb6f7-97a4-4163-a764-f16398d383d2","resolution":{"observed_at":"2026-08-09T19:54:37.201017Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.181154Z","title":null,"venue":null,"work_id":"3a82d7a0-f1c5-4f9d-863d-e087903eb84f","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.807733Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:c62f1d21cfe269d359c087c992bf4c5e3f389e7e4223edfcc8c8006a09287379","observation_id":"1c43fb55-fb9d-4a52-a4b9-d1c31fb6cc62","resolution":{"observed_at":"2026-08-09T19:54:37.186164Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.165777Z","title":null,"venue":null,"work_id":"5033b894-0291-4d7b-a716-8b8747dc9eda","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.813959Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:f7f255a339878ce9b1e9e7c69d6c2f1866271fdde1f9c843a38fa0409c60de18","observation_id":"1c8d9024-67d1-4246-8ea1-bd1165ac8bae","resolution":{"observed_at":"2026-08-09T19:54:37.170754Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.149865Z","title":"Here are some hints for the translation:","venue":null,"work_id":"fcca51c1-6e60-4d2d-abeb-c40487017505","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.819644Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:6c34bce4cbd19f0fb54ad20f2554c344dd676c413a64d74348e0b960452f4556","observation_id":"032c0e23-ff34-4178-b159-81d9799ed5c1","resolution":{"observed_at":"2026-08-09T19:54:37.155194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.133590Z","title":"For real numbers, please use powr instead","venue":null,"work_id":"b55ae063-42c4-48e4-852d-6d38e91ad4de","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.825239Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:889568a51f34c4beb7bd38ee5291bf4d0810bc7be15cb19d4352c863e2b1508a","observation_id":"9809bb29-54da-491f-a55e-6a0fb41a98e0","resolution":{"observed_at":"2026-08-09T19:54:37.139059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.118516Z","title":null,"venue":null,"work_id":"12b80b5b-cb82-40b7-aff8-c39d6b724509","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.831166Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:f1bd8ab1f526c170a49510c7fe9721b05e5d8eaf29963209f3a3fda7a6670f9a","observation_id":"0e24bbaf-7a49-4b85-995a-4f432b3265e3","resolution":{"observed_at":"2026-08-09T19:54:37.123374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.104995Z","title":null,"venue":null,"work_id":"e30541f1-5248-4035-8587-5086b994010e","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.837660Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:635b16fcf1a003435448fd428dbd4106bd2f0f7992f3bd8e7d2381bd76e4c329","observation_id":"436f600a-b790-4fd8-92d0-8be23c431ebe","resolution":{"observed_at":"2026-08-09T19:54:37.109203Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.089994Z","title":null,"venue":null,"work_id":"71173ce1-bb53-406d-bc7b-068ee2c42b04","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.843243Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:ef9972969f148bb0fdd9beea3f218eb5c9242342a715ac44c33e59ae3b7e40bd","observation_id":"588f4bc9-73a7-4451-9501-3f8504d76480","resolution":{"observed_at":"2026-08-09T19:54:37.094979Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.072954Z","title":"For any variable names of form a_b, translate it to ab","venue":null,"work_id":"ff127cf1-87ba-4d14-a35c-7c80dedd8db5","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.849052Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:4ac3d6fd10bafcd642453da80365c23965fe777c64a20d23ce5506b7583cc11c","observation_id":"66d95443-236f-494b-93b8-1baffec775c6","resolution":{"observed_at":"2026-08-09T19:54:37.078880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.056784Z","title":"For example, x−1 should be translated to (x powr -1)","venue":null,"work_id":"b8b87ecd-88ce-493e-8340-bafdd1965803","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.854168Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:e17e97054779fb8897ea11d032823499d5b471480dffd5f5839521846c6ce9fb","observation_id":"4f32e704-7c0a-49c5-9e7f-f3233aee7da5","resolution":{"observed_at":"2026-08-09T19:54:37.062168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.040856Z","title":null,"venue":null,"work_id":"eb9f14d1-b3ff-4ebf-844d-9fabf49421c9","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.859500Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:95050e7909842bd18ca4d22a0cdc186c506b3efc33b9f78d95273a99130dbbde","observation_id":"531459d8-6c4f-4713-b025-51785729ed47","resolution":{"observed_at":"2026-08-09T19:54:37.045907Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.025224Z","title":null,"venue":null,"work_id":"47f67c71-e785-412e-84b7-5157ff3a0ac0","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.864569Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:5c872a9b9d40e03a41f6f28a80f60c724fdb06de85795725edbe2b7b7b562d19","observation_id":"11fe5a1f-8807-4bec-bf57-e48303b33b7d","resolution":{"observed_at":"2026-08-09T19:54:37.030529Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:37.008655Z","title":"a ≥ 0 ∧ b ≥ 0 ∧ c ≥ 0","venue":null,"work_id":"016f6061-530e-4a31-989a-4e521d5992fe","year":2023},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.869466Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:dbf08c5601570e608db21f9e48fdd8d026fc09e769a2266954844652d8dd0758","observation_id":"f0dda840-3590-430e-95f3-382a44dd3975","resolution":{"observed_at":"2026-08-09T19:54:37.014006Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:36.991986Z","title":null,"venue":null,"work_id":"1bad4e14-b09d-465a-84b0-f9184a8ce37a","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.875876Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:5461149b132e742d328cf4d09d4b6483c128e8f68c29126db3deeddfa4a9ecaf","observation_id":"7473a5a4-64c1-4c42-b9a4-6c27cfef23e5","resolution":{"observed_at":"2026-08-09T19:54:36.996937Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:36.959865Z","title":null,"venue":null,"work_id":"645e365d-24be-44a5-af59-c4cc846f9691","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.886608Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:f4c09e718ce01d9c65294f4dc7f7c626269da9955029fa1aac8b8247d1a46788","observation_id":"b60331a0-3b3f-41c6-9b51-e1c36e0fe4d1","resolution":{"observed_at":"2026-08-09T19:54:36.964829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:36.944033Z","title":"Prove that A = On","venue":null,"work_id":"73025325-29cd-4057-bd14-d2a40cd00a57","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.891336Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:142f8bffc14564e5d2786be5805e8db83b47d2713799bd110b7a99a48aafa571","observation_id":"674ae16d-1379-47fd-a680-fc04ca9d29ae","resolution":{"observed_at":"2026-08-09T19:54:36.948782Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:36.926252Z","title":"Yes No (when x, y, z = ϵ → 0, this term goes to 3) 25","venue":null,"work_id":"3b249629-76a1-4ae7-8845-24e82329b50d","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.895334Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:90ff94be0352347735d6dd71837c2f881ffdb4968376128c4106363cb9f22a33","observation_id":"e78b7b4a-6d34-44a7-87e4-49106a75ed0a","resolution":{"observed_at":"2026-08-09T19:54:36.933218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T19:54:36.975915Z","title":"Should be x * y) No 8 theorem lean_workbook_plus_20629 (f : R → R) (x : R) : f (f x + 1) = f x + 1 := by Prove that f (f (x) + 1) =f (x) + 1for all real x","venue":null,"work_id":"8535f901-9b42-4de0-b076-843e83b16f4d","year":null},"citing_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-09T19:54:36.881187Z"},"links":{"citing_paper":"/paper/2502.00212"},"observation_digest":"sha256:c0e378111b78b46c8a668896448660ab0c7559d2b2922be03a681e5e2dc7793a","observation_id":"2d6f0262-d4ad-4c1d-9100-1760008cc4f0","resolution":{"observed_at":"2026-08-09T19:54:36.981450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","latest_version":4,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T19:44:34.143549Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":8},"total_outbound_references":18},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 22 inbound Pith citation observations for arXiv:2502.00212."}