{"as_of":"2026-08-09T21:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69f04b66413abb1e2921b002d2f4fdc022266e1b66116c3fd1d40de935a0c580","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-07T12:45:46.480307Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":7,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:18:39.132366Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-10T18:17:33.798014Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-08-07T04:18:39.132366Z","title":"Deeptheorem: Advancing llm reasoning for theorem proving through natural language and reinforcement learning, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.10903","last_updated":"2025-06-12T17:09:51Z","snapshot_observed_at":"2026-08-09T13:17:37.670421Z","submitted_at":"2025-06-12T17:09:51Z","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:39.132366Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2506.10903"},"observation_digest":"sha256:217fccc75e0e107991d807a1dd6d42a4dd1903f8819908ca427a06f5721a2049","observation_id":"433988b7-2bc8-4b3d-8835-dbc4e74d7e36","resolution":{"observed_at":"2026-08-07T04:18:39.132366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2604.16278","last_updated":"2026-05-29T17:46:02Z","snapshot_observed_at":"2026-07-12T19:22:43.089571Z","submitted_at":"2026-04-17T17:36:21Z","title":"Learning to Reason with Insight for Informal Theorem Proving","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T08:35:11.082440Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2604.16278"},"observation_digest":"sha256:0a6feb650354363bccaa3d6d1926e164e5e63b70ab2fa3e9412373af089b678a","observation_id":"f29534e2-07d8-4d36-83ac-1b05ebe13ea5","resolution":{"observed_at":"2026-05-10T08:53:04.873243Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2604.23712","last_updated":"2026-04-28T04:48:08Z","snapshot_observed_at":"2026-07-06T23:09:52.860780Z","submitted_at":"2026-04-26T13:54:28Z","title":"OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-08T06:33:29.860024Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2604.23712"},"observation_digest":"sha256:4e7eda191a3bed2cfd40fffe542aa0304426480853c836f5fac4b2618bfe5e6c","observation_id":"fb3ea233-d89d-488a-8b38-3707d39e6771","resolution":{"observed_at":"2026-05-11T21:11:16.211148Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":1},"reference_index":201,"source":"pdf_text","source_observed_at":"2026-06-27T18:39:44.696961Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:479bfb53196659be8326de819b971d536dca234dbe4ef7e799c11a5ba8354e53","observation_id":"512ae2c2-7fc5-4d6f-ba82-4279e2f50625","resolution":{"observed_at":"2026-07-02T22:47:25.871094Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-08-02T12:05:18.196322Z","title":"DeepTheorem: Ad- vancing LLM reasoning for theorem proving through natural language and reinforcement learning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.08728","last_updated":"2026-07-26T11:27:42Z","snapshot_observed_at":"2026-08-02T12:04:58.846884Z","submitted_at":"2026-06-07T16:50:07Z","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","version":4},"reference_index":203,"source":"pdf_text","source_observed_at":"2026-08-02T12:05:18.196322Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2606.08728"},"observation_digest":"sha256:0452ca94e050fdd0ba470571e475e48a8bbf941b21b1532d4b676c66c84333b8","observation_id":"30042887-c63a-4dac-b0d3-30814b93582f","resolution":{"observed_at":"2026-08-02T12:05:18.196322Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":"2505.23754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-10T18:17:33.798014Z","title":"Deeptheorem: Advancing LLM reasoning for theorem proving through natural language and reinforcement learning","venue":"cs.CL","work_id":"c64c9313-f853-45d7-a13a-5e4c170e137e","year":2025},"citing_paper":{"arxiv_id":"2607.07779","last_updated":"2026-07-08T17:46:36Z","snapshot_observed_at":"2026-07-12T23:17:59.879344Z","submitted_at":"2026-07-08T17:46:36Z","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","version":1},"reference_index":299,"source":"pdf_text","source_observed_at":"2026-07-10T18:16:31.176239Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2607.07779"},"observation_digest":"sha256:7b8377240487d695a01c0bed43240bb9d0fe5f6509600bdcb1bb3b8121245b68","observation_id":"42e619b2-7556-421e-bc75-16f39d5103dd","resolution":{"observed_at":"2026-07-10T18:17:33.799184Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.23754","snapshot_observed_at":"2026-07-14T02:43:21.225324Z","title":"Deeptheorem: Advancing LLM rea- soning for theorem proving through natural language and reinforcement learning.CoRR, abs/2505.23754,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.11849","last_updated":"2026-07-13T17:38:22Z","snapshot_observed_at":"2026-07-16T23:20:03.329744Z","submitted_at":"2026-07-13T17:38:22Z","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-14T02:43:21.225324Z"},"links":{"cited_paper":"/paper/2505.23754","citing_paper":"/paper/2607.11849"},"observation_digest":"sha256:841e787e26aca7f7295afa6ad882560a870a50539d060c382d1eae0a8048f8d4","observation_id":"55de8454-f5f5-4d43-8286-cb072f624e11","resolution":{"observed_at":"2026-07-14T02:43:21.225324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.23754/citation-record","integrity":"/paper/2505.23754/integrity","json":"/paper/2505.23754/citation-record.json","paper":"/paper/2505.23754"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:45:49.598981Z","title":null,"venue":null,"work_id":"0c8453fc-bade-4f05-b935-bd6a5ea61406","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:44.873124Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:d69c2984dd08d83281d7c1f382a1b3df49ab0912323f64c43be58112012dc367","observation_id":"253b45ca-e9c0-48cf-a696-95e2c0f98507","resolution":{"observed_at":"2026-08-07T12:45:49.715856Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:49.348429Z","title":"Let f:R→C be a smooth function,","venue":null,"work_id":"b8dca23a-d47c-4d7c-990e-33284a055a93","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:44.970911Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:6bea4cf87b4582072bdf137093bd207fa36285d450bfd5f41e4d406ab0a45fbf","observation_id":"48d43992-7698-456e-a41b-3845eacdccd0","resolution":{"observed_at":"2026-08-07T12:45:49.464855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:47.249668Z","title":"\\boxed{proved}","venue":null,"work_id":"6965fec2-81d3-471e-bab0-7fd5711c517b","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:46.146548Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:3f96dce9bd30af47393db32c06d81ac91ca562106bf23394cf87deffaf859e01","observation_id":"59deccb0-7488-468b-b8e1-d404581c78f5","resolution":{"observed_at":"2026-08-07T12:45:47.316222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:46.695130Z","title":"‘ { \"score","venue":null,"work_id":"5f9bcdca-4fff-46e6-a2aa-1feb7129a5cf","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:46.480307Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:ceac7815e6790b71a8e123976f246797dc1478a459cd40758cee159d7230c40c","observation_id":"3c1ae800-fa5a-46a3-8b81-c549af586aec","resolution":{"observed_at":"2026-08-07T12:45:46.763511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:49.145445Z","title":"- Check for adherence to mathematical definitions, theorems, or properties cited in the step","venue":null,"work_id":"efeb6db4-83f9-4a46-932b-04c80489e2a4","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.068523Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:49363b74db48ecfcc8303348c4bb35b309a2b2f0953bd0e958b64bacf4658d45","observation_id":"afcf5665-b628-4019-9dd7-96fb2b6bf6d3","resolution":{"observed_at":"2026-08-07T12:45:49.227339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:49.014927Z","title":"- If invalid, return False and summarize the critical errors and recommend how to fix the proof/disproof","venue":null,"work_id":"bf066360-6cb5-401e-92a1-5f09ddd2de02","year":2021},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.184279Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:ca896298bfd0749ff115a14b60f632476e87136c4e765fd11bc7a94ad9a77651","observation_id":"39e08ccb-74ab-47d0-946a-0219dc76dbff","resolution":{"observed_at":"2026-08-07T12:45:49.072265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:48.880580Z","title":null,"venue":null,"work_id":"a1e8a130-24cb-45c1-8d31-885e11b9c3e3","year":2008},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.332486Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:a71eb808d9b38943428b0e058ca16162a10853e6c0819e9dd9db42c60454a626","observation_id":"bd726dd9-de17-40b3-859d-8b6104207385","resolution":{"observed_at":"2026-08-07T12:45:48.952779Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:48.403029Z","title":"=== report over ===","venue":null,"work_id":"7751b68e-c9c9-41cb-a732-bad4af679c76","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.543650Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:968e460512b53f812bc9a0de9747d8be42dea03516e534be87d7dd3d37ccea68","observation_id":"126e02a0-2b0e-4c7b-9791-a91b8f2adf12","resolution":{"observed_at":"2026-08-07T12:45:48.509993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:48.174372Z","title":"‘json {","venue":null,"work_id":"8cede589-75b1-4cd9-9cec-e864719e3fd1","year":2008},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.680389Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:058aab2b5237c9f8e0384d82bffa09a9802db4fdc43be139890bbd5a714a73c8","observation_id":"a9887fe5-1506-4679-bd78-994fc1cbaa72","resolution":{"observed_at":"2026-08-07T12:45:48.263493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:48.643923Z","title":null,"venue":null,"work_id":"a8997eca-d6be-4836-a62a-6a16bbb4b80f","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.808845Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:1228c02ea678fd2eba6e44b1f4eceb6cfaa9907aadeebfc6733a9dc2ef368247","observation_id":"a4599d7f-3a94-4426-8cad-79817e5247fd","resolution":{"observed_at":"2026-08-07T12:45:48.785461Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:47.949210Z","title":"Other\" to the corresponding branch. For example: Algebra -> Intermediate Algebra -> Other. Only the LAST NODE is allowed to be","venue":null,"work_id":"8785c4e4-3378-4c5d-8e6f-b60fe5985c99","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.907576Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:8cf2b9a589d31d9fd224f9e2f81e530d30f706d2f385adef2e872cbef0f92951","observation_id":"3379af0d-c401-46a4-bb72-dce7e7c7db45","resolution":{"observed_at":"2026-08-07T12:45:48.047166Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:47.732282Z","title":"prove or disprove","venue":null,"work_id":"ad60cf97-143a-4af3-a380-2386b9c5945c","year":null},"citing_paper":{"arxiv_id":"2505.23754","last_updated":"2025-06-03T11:23:21Z","snapshot_observed_at":"2026-08-07T12:36:08.594054Z","submitted_at":"2025-05-29T17:59:39Z","title":"DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:45:45.982391Z"},"links":{"citing_paper":"/paper/2505.23754"},"observation_digest":"sha256:89f1ed3896d87251b40d9c9e253080d1f4f68de2917c1fe3acd8befa1c95cd6c","observation_id":"4f5a3154-b0a1-4a44-a5f5-0c6b5a3c1206","resolution":{"observed_at":"2026-08-07T12:45:47.831268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T12:45:47.460988Z","title":"since we proved x=y , the statement x