{"as_of":"2026-08-15T06:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:12654298e57ac5cb81184a18248d12b20df22961297f5a704943347b586bde68","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-15T06:32:42.880941+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-14T11:44:44.147508Z","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:582b64c83d56da641c0bd6f5220624f44e6dc792b1ae52e31c8a8c05ce453afb","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-14T11:45:10.570192Z","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:70031448f05e7affb18ebe66361b76a9872680cc97e7ab3744a527eb8e38236c","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-14T11:44:44.147508Z","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:46b8fff89b7d4f65c16bb0cef2627fc7d4c1c39520c20198f0b6ac13e9fe8f12","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-14T11:44:44.147508Z","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-14T11:45:43.224778Z","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:0093632c52102966e8683ae9f974e9a1888453a07be373998c1708edbfa0d32f","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-14T11:44:44.147508Z","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-14T11:45:44.717222Z","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:882108d55d9a6b2716a5347ee712e08e2b13988a1516f7762fe19bccd7ebc2ea","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-14T11:44:44.147508Z","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:2b7ba2de69c1277c03702835bcbedbb0819b86c287ebd132d86f1f3b3a162431","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-14T11:44:44.147508Z","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:c1b93466911059aae7ad0c177227263a2069068436236869077b5a4b1d3fac51","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-14T11:44:44.147508Z","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-15T06:06:32.807242Z","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:ab2748837cbc217d7d1aa3ef403230cb3a7befe45192d5649a3dd5221e01eeaa","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-14T11:44:44.147508Z","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:d05483a940891e158fdb40ba78be127149f79ee639a4621a3aa08143561d9115","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-15T04:03:37.203141Z","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:559a09407601443146e81c631647b564fa313a22abbeb30d7f216dfb7ac10a46","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:94145a71c028bba5dbfd31c904cdf20811beae9083f9b8998a63c7fea5ce06da","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-14T11:44:44.147508Z","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-14T11:44:00.767394Z","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:d53dd6ca6d785dda7a1708000ffea34938f48c010db5f9c8ea420fb911aaffef","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-14T23:11:41.818755Z","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:ac7c2b40a487dcbc0c91cdeeac9df56e241fea574450e2fca281a97b27225b86","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-15T05:28:31.083449Z","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:85144ff26a58fec87bf71c65e401a7ce6d550c260775b2eb4cdc4e0f7fb36b26","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-14T15:06:22.101894Z","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:9cdffc13f63b283832a778f65cd68dd43cca0465a69612c98b8630a5d26306be","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:4152ab1f24bfbcdac5320c134eff394df9be451a1beb09cb22010cfe7b14601f","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:a31355dcd1b087527d7073f214bcf74eb8c90e6c19d84abd25d9c29c859a49ad","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:be127545517664d357d778d3e47c094c6b211fa9c2dbf41b58ed85394c6e848b","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-14T11:44:44.147508Z","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:917260c6f409bdcfb35182d824f1e3990fba7ffa590cad26b07563d6f917a935","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:e1c431f7dce31da939052724b35fae4d2a97ac37083a3715d940200dadb1b6e6","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-14T11:44:44.147508Z","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:f4c9ebe71cce13185ef8398ecb05e80355fbf94324fa3d870b0f9e1277390582","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-14T11:44:44.147508Z","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:e3f81a00569a00b050cbaa4785e8ea68c12bc33ed0cb3a92c0019bbd0f22ad48","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:077b6e9290a5dd1a5866250736a520a4a71b427eefad4912c5f03f7d7bab06bd","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:ce6cbe3c55e2268705a95ee1840c7396d93c85689e21ae1c44736cbf8b0ce498","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:cbac685c84a0cd7e1282dffa3ba59e6fc4294a7f4963a98192e575b1e89766e2","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:1bf997a8aa0ad0863bdb1f5cf32cd948b884b2b814cc3fc468b8d01a3cb5ca6c","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:6652174300e8965df3f2da7c8c9b1ba351a89bfc4775d61f386dfe97034c752e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:7a11869a24e658ea143bab3c81ca6aa33ba5881d8ff84bc940dbc031310fa5c7","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:09f9601ad7f9b58af28dcd5700ab26e5f4d514699dfc93bd4667fe3704ec6bbd","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:682351b7cacc2a26989d6a2aa92b5ea501f4d9643a88189d0744df42160c8a70","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:db6ef2ab633ef61210af2ef41fe6e7487db5145fb91d70da1ed60e5e86a77f73","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:7aa80030f112143bcd7db637b447068c01989e04a59f4f68365d9cf4d8706a0c","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:bd1084a608a04a25c546787491f36e0b459e092191ad4c7d7fa78de73e3852e5","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:c8c65f64b202a850a5c657bfc15fd4a3766fdd05e5de066d46c6f5fcf3597b24","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:fb5142e482465535e58b923c59d39582b0bdbf728f110a75872f06473d1d26fb","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:f49dca023730111c28d3c04f353c9660b50330915bfa0fa80f7f4672ef4ef381","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:50bf0eca7e93f5251bc090c9c79581c5b6f60cf160e125a1b5667b73a35b392e","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:852b08d58f3d93e499c48b5755366e885c8a07889708ef3d9f9bf026eb56ca88","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:2ee658699c118a18e57f28a51adbada9f913eb7cab1df4dafae85d51a85dae23","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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:1d54afca19bfef1cbbcd653bdd71ce8deee04da2fa567130086dd96a56d977cf","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-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T11:44:44.147508Z","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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 22 inbound Pith citation observations for arXiv:2502.00212."}