{"as_of":"2026-08-10T23:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:30ae067429ec374d2935f676d49eb00a08da571229aa04f3a73c114f51d23c0b","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":53,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":53,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":53,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":53,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T23:21:23.688419Z","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":2,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-10T23:21:23.688419Z","title":"Deepseek-prover-v1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.20735","last_updated":"2025-03-21T02:00:37Z","snapshot_observed_at":"2026-08-10T23:10:14.818992Z","submitted_at":"2024-12-30T06:18:33Z","title":"HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T23:21:23.688419Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2412.20735"},"observation_digest":"sha256:1d670be837188374810cbe308a90ab1f3fb64a47b017aaefd733cb5a83700d57","observation_id":"0421d40f-4115-4b95-ad19-e706cf235518","resolution":{"observed_at":"2026-08-10T23:21:23.688419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-10T15:50:22.003332Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.13629","last_updated":"2025-02-10T17:19:21Z","snapshot_observed_at":"2026-08-10T17:19:11.451319Z","submitted_at":"2025-01-23T12:58:14Z","title":"Sigma: Differential Rescaling of Query, Key and Value for Efficient Language Models","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T15:50:22.003332Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2501.13629"},"observation_digest":"sha256:029f4a7a9fa9a85406dcd4ffa11a57189823d6dc6eceecbcee07e878ef1a2d5b","observation_id":"eb0ca9fb-c7d5-43a6-98d7-ad840d762eda","resolution":{"observed_at":"2026-08-10T15:50:22.003332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-10T15:32:46.351972Z","title":"5: Harness- ing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.13926","last_updated":"2025-07-23T16:09:10Z","snapshot_observed_at":"2026-08-10T23:05:47.958732Z","submitted_at":"2025-01-23T18:59:43Z","title":"Can We Generate Images with CoT? Let's Verify and Reinforce Image Generation Step by Step","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T15:32:46.351972Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2501.13926"},"observation_digest":"sha256:ee65f37a5e3a53e1d6662cbb7a4ac75e0913e60d5bc334b2fd3816708b469cb8","observation_id":"bed49623-bcc8-4193-8992-de02fa411719","resolution":{"observed_at":"2026-08-10T15:32:46.351972Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-09T19:40:23.141252Z","title":"Z., Song, J., Shao, Z., Zhao, W., Wang, H., Liu, B., Zhang, L., Lu, X., Du, Q., Gao, W., Zhu, Q., Yang, D., Gou, Z., Wu, Z","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.00271","last_updated":"2025-02-01T02:08:49Z","snapshot_observed_at":"2026-08-09T19:33:40.106138Z","submitted_at":"2025-02-01T02:08:49Z","title":"Scaling Flaws of Verifier-Guided Search in Mathematical Reasoning","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-09T19:40:23.141252Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2502.00271"},"observation_digest":"sha256:54f3adef05fb8a1b11933e7e9beb1a545176a032d6e52589e776130aff7c2468","observation_id":"27f6e7b4-c7cd-4c8a-99a2-6dc6050eb82b","resolution":{"observed_at":"2026-08-09T19:40:23.141252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2502.02871","last_updated":"2026-04-20T02:18:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-05T04:05:27Z","title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","version":2},"reference_index":214,"source":"arxiv_source","source_observed_at":"2026-05-23T04:30:38.804702Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2502.02871"},"observation_digest":"sha256:caf21bd5cf7042d66d263a390493ea7743d3d37480412e2a377268a7c43cef0d","observation_id":"d999a1af-3b39-4a21-9340-8439d6fac3ef","resolution":{"observed_at":"2026-05-23T04:32:33.137238Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-09T05:12:15.759555Z","title":"Eprint: arXiv:2408.08152","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.03321","last_updated":"2025-02-19T06:52:46Z","snapshot_observed_at":"2026-08-10T21:00:32.983003Z","submitted_at":"2025-02-05T16:21:10Z","title":"Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-09T05:12:15.759555Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2502.03321"},"observation_digest":"sha256:0c9edaa8adff0d03cbbf367c3b9b9ce78e1a8660958b02ee39c18ee3a5e6f965","observation_id":"81cb6d15-f1e8-4ac8-aac2-b0bdd20150fc","resolution":{"observed_at":"2026-08-09T05:12:15.759555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2503.04697","last_updated":"2025-10-03T01:55:58Z","snapshot_observed_at":"2026-08-06T08:53:09.095000Z","submitted_at":"2025-03-06T18:43:29Z","title":"L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-18T00:19:22.140009Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2503.04697"},"observation_digest":"sha256:87dd322bc3c52a9cb9169cd95f4e26dcca01730b3d6c3bea4263d214a487920c","observation_id":"2be1dd12-3a24-4ba3-bc55-51dda81dff4c","resolution":{"observed_at":"2026-05-18T00:19:22.290253Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T15:42:33.854739Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.17078","last_updated":"2025-05-20T08:29:11Z","snapshot_observed_at":"2026-08-10T00:35:20.013849Z","submitted_at":"2025-05-20T08:29:11Z","title":"GloSS over Toxicity: Understanding and Mitigating Toxicity in LLMs via Global Toxic Subspace","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T15:42:33.854739Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2505.17078"},"observation_digest":"sha256:349e48dc481e72c99a0621719aa659467c7f4950bda68c006004ffa9d8924acf","observation_id":"fa8798e2-dfe8-4a2a-948a-3063f9ce1879","resolution":{"observed_at":"2026-08-07T15:42:33.854739Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T13:48:59.281333Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.20869","last_updated":"2025-05-27T08:21:07Z","snapshot_observed_at":"2026-08-09T10:26:15.429240Z","submitted_at":"2025-05-27T08:21:07Z","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T13:48:59.281333Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2505.20869"},"observation_digest":"sha256:c1760280824cb8d1bc2e8d14038fbe87d67c7de66adc2413eea262842271dd83","observation_id":"0f8ba24a-76af-410f-8f9d-0bf41e04bb7b","resolution":{"observed_at":"2026-08-07T13:48:59.281333Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T12:35:20.322445Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-09T08:54:46.686321Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:20.322445Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:e7cb8013fc6a36816bed6b31e5d367eb193316bd6d99ca617793a560900cc35d","observation_id":"4fd7d77d-3e81-4f63-83c4-4d4f65a1cad8","resolution":{"observed_at":"2026-08-07T12:35:20.322445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T11:31:02.571996Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.02355","last_updated":"2025-06-20T04:14:47Z","snapshot_observed_at":"2026-08-08T15:13:20.527982Z","submitted_at":"2025-06-03T01:15:15Z","title":"Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T11:31:02.571996Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.02355"},"observation_digest":"sha256:f5d8e128c06a4d9013e06d2749e6b9f1a28ffa65145c12bc99dff8c017ef4148","observation_id":"0f166eca-8d7c-4951-8f63-e223a9113c85","resolution":{"observed_at":"2026-08-07T11:31:02.571996Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T10:52:49.660122Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.04205","last_updated":"2025-06-04T17:49:10Z","snapshot_observed_at":"2026-08-10T11:49:34.413718Z","submitted_at":"2025-06-04T17:49:10Z","title":"EPiC: Towards Lossless Speedup for Reasoning Training through Edge-Preserving CoT Condensation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:52:49.660122Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.04205"},"observation_digest":"sha256:555c516247f53abe370ecf912e84484f1145ca76f2b67e87a9ac8ce6cc570733","observation_id":"0fffaa7c-c3cf-4c90-a600-e3b2b07038c1","resolution":{"observed_at":"2026-08-07T10:52:49.660122Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T06:08:27.508982Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.06034","last_updated":"2025-06-06T12:33:12Z","snapshot_observed_at":"2026-08-10T08:45:42.016651Z","submitted_at":"2025-06-06T12:33:12Z","title":"MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T06:08:27.508982Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.06034"},"observation_digest":"sha256:2765852d31226d6d3e8f05302571c7871b2db099fc8cb75c0252db59c94cae08","observation_id":"31f0da6c-8af6-4be9-8cf0-71392c1708dc","resolution":{"observed_at":"2026-08-07T06:08:27.508982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T05:50:37.770014Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.07047","last_updated":"2025-06-08T09:04:14Z","snapshot_observed_at":"2026-08-10T00:50:55.547673Z","submitted_at":"2025-06-08T09:04:14Z","title":"Mathesis: Towards Formal Theorem Proving from Natural Languages","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:50:37.770014Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.07047"},"observation_digest":"sha256:dbdddf8bc11a621b8bae2af75f32ec292960f309916778f999eb9402dadd02c6","observation_id":"74fc557b-0362-4402-a155-a95122ec2aa9","resolution":{"observed_at":"2026-08-07T05:50:37.770014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-07T04:09:09.031291Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11487","last_updated":"2025-06-13T06:25:59Z","snapshot_observed_at":"2026-08-07T23:35:00.623427Z","submitted_at":"2025-06-13T06:25:59Z","title":"Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T04:09:09.031291Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.11487"},"observation_digest":"sha256:e5f254d4cdd46fe0901a84bf2278308104cdf6f95e36af208e914f9c7a9f5885","observation_id":"4b6a7b2b-0bf4-4c5a-b127-2de85421d2a2","resolution":{"observed_at":"2026-08-07T04:09:09.031291Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T22:16:18.677828Z","title":"5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22075","last_updated":"2026-06-30T08:35:07Z","snapshot_observed_at":"2026-08-07T02:36:35.155158Z","submitted_at":"2025-06-27T10:03:05Z","title":"Reasoning in machine vision by learning fast and slow thinking","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T22:16:18.677828Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2506.22075"},"observation_digest":"sha256:fcb8ef2106ce1d419e0c4c5c1976677c38a06e9750ad290fb456b506f4f8841f","observation_id":"e25544d2-3ac1-47ec-a3b3-b0cbeb20bfbf","resolution":{"observed_at":"2026-08-06T22:16:18.677828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T20:31:27.641174Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02541","last_updated":"2025-07-03T11:35:34Z","snapshot_observed_at":"2026-08-07T23:32:35.210784Z","submitted_at":"2025-07-03T11:35:34Z","title":"Clarifying Before Reasoning: A Coq Prover with Structural Context","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T20:31:27.641174Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.02541"},"observation_digest":"sha256:a424043cd28ce58b7818844eb5f60067aefc9d083fdb6fc37ed18c66da40f904","observation_id":"b8f3c95e-e4b9-4d45-abd3-496250eac20c","resolution":{"observed_at":"2026-08-06T20:31:27.641174Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T20:27:36.371313Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02726","last_updated":"2025-07-03T15:41:38Z","snapshot_observed_at":"2026-08-07T04:17:30.435906Z","submitted_at":"2025-07-03T15:41:38Z","title":"Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T20:27:36.371313Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.02726"},"observation_digest":"sha256:af1c2345855cfb39c996927c89d9fdfa70e497c16e6175219e0666c9ef68eb59","observation_id":"17991571-cd2a-444c-a667-59dc82f1846b","resolution":{"observed_at":"2026-08-06T20:27:36.371313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T19:45:12.454495Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04719","last_updated":"2025-07-07T07:27:45Z","snapshot_observed_at":"2026-08-07T23:33:10.458774Z","submitted_at":"2025-07-07T07:27:45Z","title":"Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T19:45:12.454495Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.04719"},"observation_digest":"sha256:540b4a5484aac8903d5bc801ef7f9cf67c5e7814071ac465784cdb599219b081","observation_id":"11e8fc58-59b8-4021-aa85-c1d3d3da460f","resolution":{"observed_at":"2026-08-06T19:45:12.454495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T19:14:20.435556Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.06181","last_updated":"2025-07-08T17:03:39Z","snapshot_observed_at":"2026-08-07T16:09:15.554628Z","submitted_at":"2025-07-08T17:03:39Z","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T19:14:20.435556Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.06181"},"observation_digest":"sha256:c7e96ab5ecc1e60d0fd4d34fe903d0a47e4e42d9561c033316119fda5a2f4dfb","observation_id":"ae4628e3-3ea9-4fca-92cf-4ce7715b3919","resolution":{"observed_at":"2026-08-06T19:14:20.435556Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T19:30:50.388008Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.06804","last_updated":"2025-07-07T22:38:49Z","snapshot_observed_at":"2026-08-10T00:04:33.789668Z","submitted_at":"2025-07-07T22:38:49Z","title":"Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T19:30:50.388008Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.06804"},"observation_digest":"sha256:c2d0437afbb04b1cef89653d7636920a9187baa0eb84d4b8c5135d34dc46cb64","observation_id":"a890d5cb-06cf-41ab-b7c4-9cf0e25be14e","resolution":{"observed_at":"2026-08-06T19:30:50.388008Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T18:18:46.956668Z","title":null,"venue":null,"work_id":null,"year":2024},"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":33,"source":"pdf_text","source_observed_at":"2026-08-06T18:18:46.956668Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.08649"},"observation_digest":"sha256:38ee1dc7feed29fd1d24e4046f38b65831d05cc102bb73f1cc430fd460640612","observation_id":"b592f4b3-63e6-4fdf-8045-4b2ed7246c7a","resolution":{"observed_at":"2026-08-06T18:18:46.956668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T16:09:06.494941Z","title":"Yixin Ye, Zhen Huang, Yang Xiao, Ethan Chern, Shijie Xia, and Pengfei Liu","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.14419","last_updated":"2025-07-19T00:28:10Z","snapshot_observed_at":"2026-08-10T09:38:06.291838Z","submitted_at":"2025-07-19T00:28:10Z","title":"It's Not That Simple. An Analysis of Simple Test-Time Scaling","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:09:06.494941Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.14419"},"observation_digest":"sha256:2b6f97233435f8eaf0e7ff8c93b15a966bdc62ef3707002d0ce55e965b73c364","observation_id":"9c665c9f-b7e4-4dc8-8d47-e0efc2e95bb7","resolution":{"observed_at":"2026-08-06T16:09:06.494941Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T15:54:12.937920Z","title":"Deepseek-prover-v1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.14722","last_updated":"2025-07-19T18:50:07Z","snapshot_observed_at":"2026-08-08T17:02:10.648664Z","submitted_at":"2025-07-19T18:50:07Z","title":"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T15:54:12.937920Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.14722"},"observation_digest":"sha256:0a2897a914b28eae30459546e9ccaedf8d3ec6bffd5140e05f794cbd80147efe","observation_id":"d0835ab6-7595-4193-8269-c7e79b982a38","resolution":{"observed_at":"2026-08-06T15:54:12.937920Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-06T13:47:37.354517Z","title":"Ren, Junxiao Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, Wenjun Gao, Qihao Zhu, Dejian Yang, Zhibin Gou, Z.F","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.20199","last_updated":"2025-08-13T10:58:50Z","snapshot_observed_at":"2026-08-07T10:10:33.604674Z","submitted_at":"2025-07-27T09:38:32Z","title":"StepFun-Prover Preview: Let's Think and Verify Step by Step","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T13:47:37.354517Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2507.20199"},"observation_digest":"sha256:f24348ce9344f2024dfca00e2116e20e2db086b4ada2ce670374ff3f483806c4","observation_id":"08aa81db-f101-429f-9659-fd3c8cfb03d9","resolution":{"observed_at":"2026-08-06T13:47:37.354517Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T16:11:23.256524Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.18914","last_updated":"2025-08-26T10:38:18Z","snapshot_observed_at":"2026-08-09T05:20:21.384911Z","submitted_at":"2025-08-26T10:38:18Z","title":"FormaRL: Enhancing Autoformalization with no Labeled Data","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T16:11:23.256524Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2508.18914"},"observation_digest":"sha256:957eb03ed3f5560b9a6dfe38965ec6e4ce743f2a1b2926eb3fda91403e64ecb0","observation_id":"e2641853-d88e-4123-92cc-f015eff25bff","resolution":{"observed_at":"2026-08-05T16:11:23.256524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2510.12787","last_updated":"2026-05-22T10:39:41Z","snapshot_observed_at":"2026-08-01T15:39:50.322856Z","submitted_at":"2025-10-14T17:57:04Z","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","version":4},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-25T07:46:30.936002Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2510.12787"},"observation_digest":"sha256:1163ca9a7883d1a75f42d5aaf0d3aa6f9228e4f59cfe66defbb08de5dc517458","observation_id":"038c7cfd-b0ef-4822-afaf-c0087f287699","resolution":{"observed_at":"2026-05-25T07:46:42.257511Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-04T09:48:10.345855Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.13554","last_updated":"2026-06-08T06:02:10Z","snapshot_observed_at":"2026-08-04T09:47:55.188440Z","submitted_at":"2025-10-15T13:49:51Z","title":"Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm Enables Fine-Grained Policy Optimization","version":2},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-04T09:48:10.345855Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2510.13554"},"observation_digest":"sha256:ca591113067d5a34267715af33951ef78a8096e4e148000a60aa24eafd6a6c9a","observation_id":"58982c8d-fb8f-4747-8deb-1779904b6727","resolution":{"observed_at":"2026-08-04T09:48:10.345855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2511.12253","last_updated":"2026-04-14T11:39:00Z","snapshot_observed_at":"2026-08-10T21:42:42.965037Z","submitted_at":"2025-11-15T15:18:51Z","title":"The Search for Constrained Random Generators","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-17T22:14:38.898617Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2511.12253"},"observation_digest":"sha256:ec4f8b77e5a252c82268e10e515fe5b6695643cb7f9d6429b72bdf0cd2374616","observation_id":"67f4891e-ace1-4cfe-a0e9-efa6fee65cb3","resolution":{"observed_at":"2026-05-17T22:15:21.810561Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-03T13:03:23.184840Z","title":"Deepseek-prover-v1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.00791","last_updated":"2026-06-10T09:38:19Z","snapshot_observed_at":"2026-08-08T23:18:02.951270Z","submitted_at":"2026-01-02T18:49:37Z","title":"Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T13:03:23.184840Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2601.00791"},"observation_digest":"sha256:497f2a7f99cc597fee1b7ceca3083df4e49bc02fb3b39a480df58b67b3c5d989","observation_id":"383b457d-6862-40b6-be22-445f1b488469","resolution":{"observed_at":"2026-08-03T13:03:23.184840Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-03T02:43:37.574813Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.10014","last_updated":"2026-05-31T19:13:22Z","snapshot_observed_at":"2026-08-06T02:34:35.293978Z","submitted_at":"2026-02-10T17:36:41Z","title":"A Task-Centric Theory for Iterative Self-Improvement with Easy-to-Hard Curricula","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T02:43:37.574813Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2602.10014"},"observation_digest":"sha256:a5663e7ce96222b5394ff59e08be57cd1e7e51abc80670ce25326a07c06b3353","observation_id":"f95f7968-3759-442c-9096-7548cdb8b70c","resolution":{"observed_at":"2026-08-03T02:43:37.574813Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-02T04:41:42.758635Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:4a9388c9aee5c705c48812d29a947d9076c5d9f39b0162d59b167dbf46044ced","observation_id":"5f181f44-d589-4c21-a3e6-33112643c945","resolution":{"observed_at":"2026-05-15T18:46:29.322796Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-07-13T13:34:41.548490Z","title":"Deepseek-prover-v1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2604.03070","last_updated":"2026-06-19T04:47:04Z","snapshot_observed_at":"2026-08-10T03:45:51.308576Z","submitted_at":"2026-04-03T14:50:16Z","title":"How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T13:34:41.548490Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2604.03070"},"observation_digest":"sha256:120d66220e0b89e1df7d71f19fea2944a1917aa607233706eb6592830ccee9a1","observation_id":"5a286a8d-a65d-482a-8764-e050a284fc7b","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":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2604.03071","last_updated":"2026-04-03T14:51:01Z","snapshot_observed_at":"2026-08-03T21:01:45.224658Z","submitted_at":"2026-04-03T14:51:01Z","title":"Automatic Textbook Formalization","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-13T20:08:10.087342Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2604.03071"},"observation_digest":"sha256:16205c17cf905f6bebbfcd9a2ab0b708e1e71803cc539aef66933d7a0cc47148","observation_id":"eda0421a-7286-46b2-95a5-efc298ac2970","resolution":{"observed_at":"2026-05-13T20:08:12.507942Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2604.05868","last_updated":"2026-04-07T13:28:09Z","snapshot_observed_at":"2026-08-02T07:08:59.060388Z","submitted_at":"2026-04-07T13:28:09Z","title":"Understanding Performance Gap Between Parallel and Sequential Sampling in Large Reasoning Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T18:36:01.200412Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2604.05868"},"observation_digest":"sha256:d357536a924dc67c3a700c79968b385ec2324b754071661cd62ebef9f77556a7","observation_id":"194727a8-828a-4c7a-bd68-1ff9457a8f08","resolution":{"observed_at":"2026-05-11T00:20:52.408031Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.09012","last_updated":"2026-05-09T15:52:49Z","snapshot_observed_at":"2026-07-06T23:21:11.475005Z","submitted_at":"2026-05-09T15:52:49Z","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-12T02:07:39.648269Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.09012"},"observation_digest":"sha256:6693f26b3faf614baf04e6539a8e0b4f0d7c4d78be2bdc9310e4beedc015fbe9","observation_id":"c4b7b6ed-a3e2-444e-b601-eb544e0328b1","resolution":{"observed_at":"2026-05-12T02:11:16.043910Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.09079","last_updated":"2026-05-09T17:39:26Z","snapshot_observed_at":"2026-07-06T23:21:11.475005Z","submitted_at":"2026-05-09T17:39:26Z","title":"CauSim: Scaling Causal Reasoning with Increasingly Complex Causal Simulators","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-12T02:33:04.549851Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.09079"},"observation_digest":"sha256:65faf74208972f22f0916d61da6ddc9ada18fce90539d09b768c364d190542fc","observation_id":"8ce3d95b-1300-4c04-aa35-7a1f6e34763f","resolution":{"observed_at":"2026-05-12T07:31:29.658752Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.11905","last_updated":"2026-05-12T10:18:28Z","snapshot_observed_at":"2026-07-06T23:23:39.723268Z","submitted_at":"2026-05-12T10:18:28Z","title":"Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-13T06:07:29.492413Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.11905"},"observation_digest":"sha256:23efc0c892d3892e33cb24854bfda3df788ca085d762fd0760042ab15f5d9024","observation_id":"a93e1740-4a2e-4408-ac60-f1675d37b284","resolution":{"observed_at":"2026-05-13T06:12:22.950755Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.17255","last_updated":"2026-05-17T04:53:47Z","snapshot_observed_at":"2026-08-07T00:21:43.515198Z","submitted_at":"2026-05-17T04:53:47Z","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-20T13:35:04.729506Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.17255"},"observation_digest":"sha256:d6bbb18f54cefedefa95498fb287a7eab95dc5eaf23b224add37e2752bea3b94","observation_id":"8bb3386d-ace6-4532-9af3-c49f0536c33d","resolution":{"observed_at":"2026-05-20T13:38:19.322697Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"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":151,"source":"arxiv_source","source_observed_at":"2026-05-20T14:43:46.517807Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.17283"},"observation_digest":"sha256:4a7f20e87e410ebf686ca1b24280d051b52935d8a226c4fb143c11dac93fb6ae","observation_id":"a957e35b-fb21-421a-9241-e23bd4181a01","resolution":{"observed_at":"2026-05-20T14:48:23.540141Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.20244","last_updated":"2026-08-04T13:49:27Z","snapshot_observed_at":"2026-08-07T23:11:36.241364Z","submitted_at":"2026-05-18T04:19:41Z","title":"Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-21T08:51:59.101930Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.20244"},"observation_digest":"sha256:7119c9a9677eef4fc4761618220175505a2ab5cca01770cd1032edb7e08f5b3c","observation_id":"9e820d5b-0f1f-4a28-8f02-a2405fbbc2ea","resolution":{"observed_at":"2026-05-21T08:54:05.907784Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.23643","last_updated":"2026-05-22T13:55:11Z","snapshot_observed_at":"2026-08-02T12:37:45.812132Z","submitted_at":"2026-05-22T13:55:11Z","title":"Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-25T04:09:10.588205Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.23643"},"observation_digest":"sha256:a05aa08c409a787a0aed570bcc4a935fe5de0bc1da12efbda22ab58fbe67875f","observation_id":"fd45d7f6-e905-4bf8-8478-ce9b3d49c872","resolution":{"observed_at":"2026-05-25T04:10:19.043597Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:7e698fe61710fc259e689662edb46c1c95b74af83b38be5763c30730c6dd9cd3","observation_id":"2dce0e3e-20cf-4784-8b4a-de35f7be0386","resolution":{"observed_at":"2026-06-28T23:52:48.466037Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-09T05:03:29.602227Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-28T05:48:56.691155Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2606.05400"},"observation_digest":"sha256:926c47d68d53632f289355dab3c933b6d428afbe4f039496f0846c8982eb46bd","observation_id":"fbfd1f37-2dde-4a79-b344-867f49a65649","resolution":{"observed_at":"2026-07-02T08:36:48.809434Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2606.09450","last_updated":"2026-06-08T12:57:18Z","snapshot_observed_at":"2026-08-02T11:29:46.747086Z","submitted_at":"2026-06-08T12:57:18Z","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:0208ca74d780935ac24a2223eb6d894685eeda230fc7b6d6123c3c94b16c8605","observation_id":"0bf5baf4-a935-494f-a80f-9041b3cbc47f","resolution":{"observed_at":"2026-07-03T01:47:31.552153Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2606.28841","last_updated":"2026-06-27T09:58:09Z","snapshot_observed_at":"2026-08-02T19:18:42.790580Z","submitted_at":"2026-06-27T09:58:09Z","title":"LAMP: Lean-based Agentic framework with MCP and Proof Repair","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-30T08:35:40.617232Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2606.28841"},"observation_digest":"sha256:645dcc30b6606ff9d93c695a70c99d5137f6db3e880932f3de7ee0152a503e3b","observation_id":"67954b27-223b-453a-8fee-c3c728491771","resolution":{"observed_at":"2026-06-30T08:44:27.799923Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-09T23:09:50.625695Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-01T05:54:51.200436Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:5174905c4afe5f8cabadd7efb62035322047ca3c3765a87a7a1dc89c1e8b76d2","observation_id":"2fe0c78d-98bf-479f-abba-c9b3a7a6ae9e","resolution":{"observed_at":"2026-07-01T10:05:40.783835Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"citing_paper":{"arxiv_id":"2606.31134","last_updated":"2026-08-05T20:38:33Z","snapshot_observed_at":"2026-08-09T23:09:50.625695Z","submitted_at":"2026-06-30T05:05:03Z","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-03T22:34:08.241014Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2606.31134"},"observation_digest":"sha256:7dc823c07c236be9d1d4314e485ce2e94080c4430141b16572e8360d56fb9ce1","observation_id":"59748c15-fb55-439b-ad3c-3c571e05cdc7","resolution":{"observed_at":"2026-07-03T22:39:01.224077Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-07-12T06:39:03.623110Z","title":"DeepSeek-Prover-V1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02847","last_updated":"2026-07-08T21:06:54Z","snapshot_observed_at":"2026-08-10T22:15:08.475004Z","submitted_at":"2026-07-03T00:50:51Z","title":"ShannonProver: Towards Automating Formal Cryptographic Proofs","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-12T06:39:03.623110Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2607.02847"},"observation_digest":"sha256:ff66905e0cdf05a3faa2af2103d1468ac903f5f250fb2ac2aca5aec7cf1ede1a","observation_id":"5ca7d177-3904-4ede-adaa-05bf3a79e060","resolution":{"observed_at":"2026-07-12T06:39:03.623110Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-07-12T00:53:42.929719Z","title":"DeepSeek-Prover-V1.5: Harnessing proof assistant feedback for reinforcement learning and monte-carlo tree search,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.03656","last_updated":"2026-07-04T01:13:32Z","snapshot_observed_at":"2026-08-07T07:09:58.002955Z","submitted_at":"2026-07-04T01:13:32Z","title":"AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T00:53:42.929719Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2607.03656"},"observation_digest":"sha256:53df870d7bd0739a685574859c8cd4d66b09e93b0697433eefd9b8f01167bc28","observation_id":"b64c7d61-f431-4082-ae65-36ca537c6fe7","resolution":{"observed_at":"2026-07-12T00:53:42.929719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":"2408.08152","doi":"10.48550/arxiv.2408.08152","metadata_source":"pith","pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deepseek-prover-v1","venue":"cs.CL","work_id":"55434196-a74f-4c2f-bdad-e1c22de14f3b","year":2024},"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":268,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:3db90deecba21d1da2deb245cfd8af2aa93d517ae6443d2e545fe0fd543fb436","observation_id":"30e699b7-0798-4495-a085-c045ca5cf4ee","resolution":{"observed_at":"2026-07-10T18:17:33.834916Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-14T11:49:49.279756+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-07-14T05:57:23.399019Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.11258","last_updated":"2026-07-13T08:40:33Z","snapshot_observed_at":"2026-08-03T20:32:27.270243Z","submitted_at":"2026-07-13T08:40:33Z","title":"TreeThink: A Modular Tree Search Library for Mathematical Reasoning with LLMs","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-07-14T05:57:23.399019Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2607.11258"},"observation_digest":"sha256:3cc3347d036ba6d416abd41e991b116fdbdd51b98c045d87966729a531928e22","observation_id":"94f34faf-6829-4be2-a21b-42e4cb001e21","resolution":{"observed_at":"2026-07-14T05:57:23.399019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.08152","snapshot_observed_at":"2026-08-01T03:02:28.586204Z","title":"arXiv:2408.08152","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27705","last_updated":"2026-07-30T05:41:44Z","snapshot_observed_at":"2026-08-10T17:15:43.573903Z","submitted_at":"2026-07-30T05:41:44Z","title":"Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T03:02:28.586204Z"},"links":{"cited_paper":"/paper/2408.08152","citing_paper":"/paper/2607.27705"},"observation_digest":"sha256:62c01a999b957ba42b1ebf324b99d3fa0d16a2a16fcfc01ce29d4925e9963095","observation_id":"fa0d14ba-0200-452d-b3c5-d89428de5e54","resolution":{"observed_at":"2026-08-01T03:02:28.586204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2408.08152/citation-record","integrity":"/paper/2408.08152/integrity","json":"/paper/2408.08152/citation-record.json","paper":"/paper/2408.08152"},"outbound":[],"paper":{"arxiv_id":"2408.08152","last_updated":"2024-08-15T13:40:03Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-07-06T19:01:06.124684Z","submitted_at":"2024-08-15T13:40:03Z","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 53 inbound Pith citation observations for arXiv:2408.08152."}