{"as_of":"2026-08-10T16:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae2c9aca48daaf0e1a89c789a429362b5cae176c5e9848fed1a51930a5767120","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":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":9,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T00:06:30.339062Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":8,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-10T00:06:30.339062Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2501.18310","last_updated":"2025-06-06T13:30:31Z","snapshot_observed_at":"2026-08-09T23:54:43.528750Z","submitted_at":"2025-01-30T12:37:06Z","title":"ProofAug: Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T00:06:30.339062Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2501.18310"},"observation_digest":"sha256:806729f3b71d24cac57d5dde9089d378c7994a7dddf6673db8ddaece52dcb138","observation_id":"af19c98a-39d4-48b3-a18d-e7b3ced39f5e","resolution":{"observed_at":"2026-08-10T00:06:30.339062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-07T15:33:42.944531Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14929","last_updated":"2025-05-24T03:09:20Z","snapshot_observed_at":"2026-08-09T14:10:46.200318Z","submitted_at":"2025-05-20T21:33:42Z","title":"Lean-auto: An Interface between Lean 4 and Automated Theorem Provers","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:33:42.944531Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2505.14929"},"observation_digest":"sha256:eb03e9b1d01feffcb5001a1136a5a245ae2edefa02989ba39a6a0217d4d95891","observation_id":"2a1e2821-10ef-4c8e-8efe-5f01c4ff55d5","resolution":{"observed_at":"2026-08-07T15:33:42.944531Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-06T20:31:26.441713Z","title":"Magnushammer: A transformer-based approach to premise selection","venue":null,"work_id":null,"year":2023},"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":20,"source":"pdf_text","source_observed_at":"2026-08-06T20:31:26.441713Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2507.02541"},"observation_digest":"sha256:3e715558d48482718018e636ce57b566ab741b07cdeacdf2f2f6b079bafe397d","observation_id":"b1a16678-7426-4a7d-a112-5386c9811195","resolution":{"observed_at":"2026-08-06T20:31:26.441713Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-06T15:42:07.548220Z","title":"Magnushammer: A transformer-based approach to premise selection.arXiv preprint arXiv:2303.04488, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15225","last_updated":"2025-07-21T03:56:35Z","snapshot_observed_at":"2026-08-06T17:33:28.833666Z","submitted_at":"2025-07-21T03:56:35Z","title":"Solving Formal Math Problems by Decomposition and Iterative Reflection","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:42:07.548220Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2507.15225"},"observation_digest":"sha256:68ded538f2cdac4db34e7df963a67ddd6b63b24dd94ecc2451f4152fe9140f3e","observation_id":"e1fdfc68-658b-42f4-ae7b-0d61b210fb31","resolution":{"observed_at":"2026-08-06T15:42:07.548220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":"2303.04488","doi":"10.48550/arxiv.2303.04488","metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MagnusHammer: A Transformer-Based Approach to Premise Selection","venue":"arXiv (Cornell University)","work_id":"77f73902-65ed-4327-8cbd-8ac4fc95c4b7","year":2023},"citing_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-02T06:00:59.770868Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-15T08:51:37.827144Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2510.01346"},"observation_digest":"sha256:6d67bfcf6a4571065d5beb58fea8f074a2c8f3e369a13ae49dde407c7cc9ae94","observation_id":"58fa03f9-ec3f-4c73-81e7-faf7be083249","resolution":{"observed_at":"2026-05-15T08:51:37.952099Z","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-05-23T11:24:22.136902+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:22.136902+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":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":"2303.04488","doi":"10.48550/arxiv.2303.04488","metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MagnusHammer: A Transformer-Based Approach to Premise Selection","venue":"arXiv (Cornell University)","work_id":"77f73902-65ed-4327-8cbd-8ac4fc95c4b7","year":2023},"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":14,"source":"pdf_text","source_observed_at":"2026-05-12T02:07:39.648269Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2605.09012"},"observation_digest":"sha256:69ec26823cbe80d62edeae44459aa772cb4e4acb1524f7c20bd7479ea74bb409","observation_id":"5d9ec159-41ab-4d7f-a6ca-ac2d50f72c0a","resolution":{"observed_at":"2026-05-12T02:11:15.986071Z","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-05-23T11:24:22.136902+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:22.136902+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":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":"2303.04488","doi":"10.48550/arxiv.2303.04488","metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MagnusHammer: A Transformer-Based Approach to Premise Selection","venue":"arXiv (Cornell University)","work_id":"77f73902-65ed-4327-8cbd-8ac4fc95c4b7","year":2023},"citing_paper":{"arxiv_id":"2605.17475","last_updated":"2026-05-17T14:23:45Z","snapshot_observed_at":"2026-08-09T21:50:42.882498Z","submitted_at":"2026-05-17T14:23:45Z","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-19T22:51:50.268490Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2605.17475"},"observation_digest":"sha256:776d07c60afc828f4babad0ed332e63829f569785028ed5644e2b85393f719ed","observation_id":"9f4a3d76-ee88-4c0d-9594-6af691574fe1","resolution":{"observed_at":"2026-05-19T22:52:50.029897Z","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-05-23T11:24:22.136902+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:22.136902+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":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":"2303.04488","doi":"10.48550/arxiv.2303.04488","metadata_source":"arxiv_reference","pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"MagnusHammer: A Transformer-Based Approach to Premise Selection","venue":"arXiv (Cornell University)","work_id":"77f73902-65ed-4327-8cbd-8ac4fc95c4b7","year":2023},"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":21,"source":"pdf_text","source_observed_at":"2026-06-27T16:19:11.123994Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2606.09450"},"observation_digest":"sha256:dab734dfe086056f0a22de36f87287729b3dc0f60ea5465027aae6a6610089f0","observation_id":"e4a99c47-b2f5-4f75-9d56-21a55f9ab82c","resolution":{"observed_at":"2026-07-03T01:47:31.589720Z","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-05-23T11:24:22.136902+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T11:24:22.136902+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":"2303.04488","last_updated":"2024-03-18T14:16:22Z","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.04488","snapshot_observed_at":"2026-08-08T17:41:04.698409Z","title":"Mikuła, M., Tworkowski, S., Antoniak, S., Piotrowski, B., Jiang, A","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.05234","last_updated":"2026-08-05T13:37:25Z","snapshot_observed_at":"2026-08-09T23:10:20.777260Z","submitted_at":"2026-08-05T13:37:25Z","title":"PPDL: LLM-Based Flows as Probabilistic Programs","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-08T17:41:04.698409Z"},"links":{"cited_paper":"/paper/2303.04488","citing_paper":"/paper/2608.05234"},"observation_digest":"sha256:4a3baca4760807039679b6b0c1919cd28c9df2682d1492aca29c34347b558c11","observation_id":"d8ddb747-b66a-4d38-aa72-30db200fce28","resolution":{"observed_at":"2026-08-08T17:41:04.698409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2303.04488/citation-record","integrity":"/paper/2303.04488/integrity","json":"/paper/2303.04488/citation-record.json","paper":"/paper/2303.04488"},"outbound":[],"paper":{"arxiv_id":"2303.04488","last_updated":"2024-03-18T14:16:22Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-09T06:36:38.172489Z","submitted_at":"2023-03-08T10:22:00Z","title":"Magnushammer: A Transformer-Based Approach to Premise Selection"},"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 9 inbound Pith citation observations for arXiv:2303.04488."}