{"as_of":"2026-08-16T09:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c6202c7b6feb7753e59e50dfc552a3cff99f2e64e8f169293e39ff7a913daf0b","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:17:29.072544Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T00:54:45.093419Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-04T00:09:14.869018Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"cited_work":{"arxiv_id":"2506.22005","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.22005","snapshot_observed_at":"2026-07-04T00:09:14.869018Z","title":"arXiv preprint arXiv:2506.22005 , year =","venue":null,"work_id":"01e099ac-ae5e-488c-b9e7-8fef6f3fd753","year":2025},"citing_paper":{"arxiv_id":"2606.14804","last_updated":"2026-06-22T21:41:00Z","snapshot_observed_at":"2026-08-08T13:30:40.718601Z","submitted_at":"2026-06-11T21:23:56Z","title":"Mapping Mathematical Hardness: Machine-Assisted Conjecture Discovery and the Quantification of Non-Triviality","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T04:35:53.975397Z"},"links":{"cited_paper":"/paper/2506.22005","citing_paper":"/paper/2606.14804"},"observation_digest":"sha256:1afdc6d6eec951fb565f09cca37850f4df0fe5584458b25c78a412f1d7d9cbee","observation_id":"0a84d777-d0b6-472b-a85c-d6b246ca60dc","resolution":{"observed_at":"2026-07-03T17:08:43.379199Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"cited_work":{"arxiv_id":"2506.22005","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.22005","snapshot_observed_at":"2026-07-04T00:09:14.869018Z","title":"arXiv preprint arXiv:2506.22005 , year =","venue":null,"work_id":"01e099ac-ae5e-488c-b9e7-8fef6f3fd753","year":2025},"citing_paper":{"arxiv_id":"2606.18557","last_updated":"2026-06-17T00:13:40Z","snapshot_observed_at":"2026-08-07T16:18:46.205397Z","submitted_at":"2026-06-17T00:13:40Z","title":"DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-06-26T21:27:33.349681Z"},"links":{"cited_paper":"/paper/2506.22005","citing_paper":"/paper/2606.18557"},"observation_digest":"sha256:6d04eac2e185b54026ccb3fd5da4634547eb5290c75b659baa7b929e4a443845","observation_id":"52e03d1d-e868-40f6-b052-e0fdce2592f6","resolution":{"observed_at":"2026-07-04T00:09:14.872163Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.22005","snapshot_observed_at":"2026-08-03T00:54:45.093419Z","title":"Leanconjecturer automatic generation of mathematical conjectures for theorem proving.arXiv preprint arXiv:2506.22005,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28632","last_updated":"2026-04-19T11:13:41Z","snapshot_observed_at":"2026-08-11T17:36:38.333162Z","submitted_at":"2026-04-19T11:13:41Z","title":"LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T00:54:45.093419Z"},"links":{"cited_paper":"/paper/2506.22005","citing_paper":"/paper/2607.28632"},"observation_digest":"sha256:a70194d155aa3c663ba587f1383612e30f827853a49e45ed2ac876225fe4427e","observation_id":"4753efac-833b-410c-921a-5ab87041db00","resolution":{"observed_at":"2026-08-03T00:54:45.093419Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.22005/citation-record","integrity":"/paper/2506.22005/integrity","json":"/paper/2506.22005/citation-record.json","paper":"/paper/2506.22005"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:17:28.392167Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.392167Z"},"links":{"citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:0ead6e28d066a8dabdfaca487744d270fe7427f1ddd9feb0ff8e7f985f3864e4","observation_id":"27d93831-fd37-4347-9fa6-dd6daef679e3","resolution":{"observed_at":"2026-08-06T22:17:28.392167Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-15T17:27:11.980940Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-06T22:17:28.433321Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.433321Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:7b9b05ddfbbf7e84b601a5e19c10fb8374c50e96ac2f455d4c8afee5d0007461","observation_id":"7df228a1-5052-400d-90f1-cc27fd6447a1","resolution":{"observed_at":"2026-08-06T22:17:28.433321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.00212","last_updated":"2025-03-21T03:27:55Z","snapshot_observed_at":"2026-08-14T11:44:44.147508Z","submitted_at":"2025-01-31T23:01:48Z","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.00212","snapshot_observed_at":"2026-08-06T22:17:28.505860Z","title":"and Ma, T","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.505860Z"},"links":{"cited_paper":"/paper/2502.00212","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:882108d55d9a6b2716a5347ee712e08e2b13988a1516f7762fe19bccd7ebc2ea","observation_id":"e0924e99-6d55-4bba-b614-644ba8138ead","resolution":{"observed_at":"2026-08-06T22:17:28.505860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.04592","last_updated":"2025-06-05T03:16:08Z","snapshot_observed_at":"2026-08-14T13:40:27.204401Z","submitted_at":"2025-06-05T03:16:08Z","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.04592","snapshot_observed_at":"2026-08-06T22:17:28.616993Z","title":"Safe: Enhancing mathematical reasoning in large language models via retrospective step-aware formal verification, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.616993Z"},"links":{"cited_paper":"/paper/2506.04592","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:820345b28f7b9726b5a2fd0fb1660b0ff8ce6fc29d1e8293b22f564b520ca111","observation_id":"2b38c5b5-ca51-4071-9234-64a65a46db49","resolution":{"observed_at":"2026-08-06T22:17:28.616993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.21801","last_updated":"2025-07-18T08:20:23Z","snapshot_observed_at":"2026-08-02T11:46:58.603316Z","submitted_at":"2025-04-30T16:57:48Z","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.21801","snapshot_observed_at":"2026-08-06T22:17:28.743372Z","title":"Z., Shao, Z., Song, J., Xin, H., Wang, H., Zhao, W., Zhang, L., Fu, Z., Zhu, Q., Yang, D., Wu, Z","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.743372Z"},"links":{"cited_paper":"/paper/2504.21801","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:1cbbfa3b482bb6fd5128106509712af387b67f32117ae3c5181c971b7b378f86","observation_id":"73a06116-2ac6-4618-b759-3aea026e2c76","resolution":{"observed_at":"2026-08-06T22:17:28.743372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.11214","last_updated":"2024-11-03T17:14:37Z","snapshot_observed_at":"2026-08-12T23:21:38.711800Z","submitted_at":"2024-07-15T19:57:15Z","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.11214","snapshot_observed_at":"2026-08-06T22:17:28.810180Z","title":"Putnambench: Evaluating neural theorem-provers on the putnam mathematical competition, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.810180Z"},"links":{"cited_paper":"/paper/2407.11214","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:9592183cd8c9f0c62e72f6cf122e8cc874fec9cfbeadad0b30ee7136079b6a0f","observation_id":"6f38a1ea-c9a6-48bf-9f5f-846568caa664","resolution":{"observed_at":"2026-08-06T22:17:28.810180Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.04772","last_updated":"2025-02-16T06:20:39Z","snapshot_observed_at":"2026-08-09T23:57:22.620210Z","submitted_at":"2025-02-16T06:20:39Z","title":"Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.04772","snapshot_observed_at":"2026-08-06T22:17:28.876612Z","title":"and Gao, J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.876612Z"},"links":{"cited_paper":"/paper/2503.04772","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:062203c72c02abb16ef6a1ff055c32f3bacba4b5dd1aebfa75199be81815d008","observation_id":"30c55200-3d92-495b-935c-acfd6af96e47","resolution":{"observed_at":"2026-08-06T22:17:28.876612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.06332","last_updated":"2024-05-24T07:09:21Z","snapshot_observed_at":"2026-08-13T04:22:39.632135Z","submitted_at":"2024-02-09T11:22:08Z","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.06332","snapshot_observed_at":"2026-08-06T22:17:28.984795Z","title":"Internlm-math: Open math large language models toward verifiable reasoning, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:28.984795Z"},"links":{"cited_paper":"/paper/2402.06332","citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:ac0993e1912fe9b15a869c373db34cab88892077b826be9f3f94419dab2e77c7","observation_id":"3a09f54a-e450-414c-813e-c26962a29233","resolution":{"observed_at":"2026-08-06T22:17:28.984795Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:17:29.322604Z","title":"M., and Polu, S","venue":null,"work_id":"6c7434bb-776e-4ad5-ad5f-069bdd9ddc51","year":2022},"citing_paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T22:17:29.072544Z"},"links":{"citing_paper":"/paper/2506.22005"},"observation_digest":"sha256:f086ec517483715db0c0e43208f40f63bf99f22917008d522f5a575df936808e","observation_id":"70289a20-1080-4c26-93b4-86bfd090a729","resolution":{"observed_at":"2026-08-06T22:17:29.400095Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.22005","last_updated":"2025-06-27T08:17:18Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T11:45:44.717222Z","submitted_at":"2025-06-27T08:17:18Z","title":"LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":9},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 3 inbound Pith citation observations for arXiv:2506.22005."}