{"as_of":"2026-08-12T23:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:303738463fa2e4cb95726bd0e0bb2d876ca526f3c54e3a6581976f3e63e47bc0","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-12T06:34:41.77262+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-11T10:51:30.778860Z","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":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":"2408.03350","doi":"10.48550/arxiv.2408.03350","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"minictx: Neural theorem proving with (long-)contexts","venue":"arXiv (Cornell University)","work_id":"4e5744ea-2dc7-4353-8e7b-cd0395917610","year":2024},"citing_paper":{"arxiv_id":"2410.04753","last_updated":"2026-05-21T02:35:10Z","snapshot_observed_at":"2026-07-06T19:28:48.185066Z","submitted_at":"2024-10-07T05:14:18Z","title":"ImProver: Agent-Based Automated Proof Optimization","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-23T19:49:12.575148Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2410.04753"},"observation_digest":"sha256:a4bc52b2a35267e985e6f468e5bde6112b22cf6f4164eedf15c0929cb7a8c9a2","observation_id":"73c5e8d7-5c4b-451e-9777-de35a1166ffd","resolution":{"observed_at":"2026-05-23T19:53:23.391013Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-11T10:51:30.778860Z","title":"miniCTX: Neural theorem proving with (long-) contexts","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.16075","last_updated":"2024-12-20T17:19:24Z","snapshot_observed_at":"2026-08-11T10:46:49.282021Z","submitted_at":"2024-12-20T17:19:24Z","title":"Formal Mathematical Reasoning: A New Frontier in AI","version":1},"reference_index":287,"source":"pdf_text","source_observed_at":"2026-08-11T10:51:30.778860Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2412.16075"},"observation_digest":"sha256:f1b11de71e89280ad6468bd9a66ed7de2f9ae4be2fe3b19bb45145ec30120427","observation_id":"cddd7a6e-db7c-4d05-b4a7-f80193dd7bb0","resolution":{"observed_at":"2026-08-11T10:51:30.778860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":"2408.03350","doi":"10.48550/arxiv.2408.03350","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"minictx: Neural theorem proving with (long-)contexts","venue":"arXiv (Cornell University)","work_id":"4e5744ea-2dc7-4353-8e7b-cd0395917610","year":2024},"citing_paper":{"arxiv_id":"2502.05171","last_updated":"2025-02-17T17:14:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-02-07T18:55:02Z","title":"Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach","version":2},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-05-12T15:39:40.845703Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2502.05171"},"observation_digest":"sha256:ad428adfb772ee88c05d593503e29675a0ac8ce0bf77ccf926d923617f76db2c","observation_id":"fcf17758-1533-40eb-9855-ea9aeabfadd1","resolution":{"observed_at":"2026-05-12T15:39:41.328826Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-07T11:31:02.443888Z","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":7,"source":"arxiv_source","source_observed_at":"2026-08-07T11:31:02.443888Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2506.02355"},"observation_digest":"sha256:51f39fde99f3aaf9d8fa2b2229e60fe938c4c32e830a9b496f4fb7e558586028","observation_id":"8bc50e03-1dc9-44f3-9ad1-0ad9e855424b","resolution":{"observed_at":"2026-08-07T11:31:02.443888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":"2408.03350","doi":"10.48550/arxiv.2408.03350","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"minictx: Neural theorem proving with (long-)contexts","venue":"arXiv (Cornell University)","work_id":"4e5744ea-2dc7-4353-8e7b-cd0395917610","year":2024},"citing_paper":{"arxiv_id":"2603.14628","last_updated":"2026-04-19T15:46:53Z","snapshot_observed_at":"2026-08-12T13:42:53.320871Z","submitted_at":"2026-03-15T21:55:59Z","title":"s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-15T10:59:28.944919Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2603.14628"},"observation_digest":"sha256:797ebc2e2c5abffa97f547d06804c3c6c1e4488d2f7193ee4b3fdb8692941c06","observation_id":"c494eb83-49c8-45af-872c-d3b901b90983","resolution":{"observed_at":"2026-05-15T10:59:57.103262Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":"2408.03350","doi":"10.48550/arxiv.2408.03350","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"minictx: Neural theorem proving with (long-)contexts","venue":"arXiv (Cornell University)","work_id":"4e5744ea-2dc7-4353-8e7b-cd0395917610","year":2024},"citing_paper":{"arxiv_id":"2605.06882","last_updated":"2026-05-07T19:31:43Z","snapshot_observed_at":"2026-07-06T23:19:15.382283Z","submitted_at":"2026-05-07T19:31:43Z","title":"How Well Do LLMs Perform on the Simplest Long-Chain Reasoning Tasks: An Empirical Study on the Equivalence Class Problem","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-11T01:29:33.453354Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2605.06882"},"observation_digest":"sha256:c1f2e7d360f72223e7d41b8ca8175018abf8d1f03bcdfc08c6b71d61bd9d9088","observation_id":"a30d0f9e-3e2c-4070-b85a-5f38a94229c8","resolution":{"observed_at":"2026-05-11T01:45:51.976364Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":"2408.03350","doi":"10.48550/arxiv.2408.03350","metadata_source":"arxiv_reference","pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"minictx: Neural theorem proving with (long-)contexts","venue":"arXiv (Cornell University)","work_id":"4e5744ea-2dc7-4353-8e7b-cd0395917610","year":2024},"citing_paper":{"arxiv_id":"2606.01008","last_updated":"2026-05-31T04:51:27Z","snapshot_observed_at":"2026-08-07T10:38:24.939268Z","submitted_at":"2026-05-31T04:51:27Z","title":"FVSpec: Real-World Property-Based Tests as Lean Challenges","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T17:05:13.012431Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2606.01008"},"observation_digest":"sha256:57820212adfeeb8d60af3497c7949aca254aa7621a4f0db0aced5e5bd581eea2","observation_id":"4c8431e9-f14c-477c-8b16-79d8d63507e7","resolution":{"observed_at":"2026-06-28T17:12:25.305091Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-01T19:24:38.638313Z","title":"Leonardo de Moura and Sebastian Ullrich","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":1960,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:38.638313Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:429ad175d51ff091c28147433b38f8d14dca7a7c4498a63d24bcbcb4b14c9bfc","observation_id":"5906d509-7013-440f-a6e5-5373a3c35494","resolution":{"observed_at":"2026-08-01T19:24:38.638313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-02T09:51:59.457358Z","title":"doi:10.48550/arXiv.2408.03350 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.20503","last_updated":"2026-06-26T15:43:12Z","snapshot_observed_at":"2026-08-08T09:07:33.445850Z","submitted_at":"2026-06-26T15:43:12Z","title":"LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T09:51:59.457358Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2607.20503"},"observation_digest":"sha256:3d5a72418c8c68b616789221bd01680464babbb258f69d7974a08b842ca7361b","observation_id":"5a4ffe9b-de90-4c88-91f1-75400c9a10ac","resolution":{"observed_at":"2026-08-02T09:51:59.457358Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2408.03350/citation-record","integrity":"/paper/2408.03350/integrity","json":"/paper/2408.03350/citation-record.json","paper":"/paper/2408.03350"},"outbound":[],"paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-12T23:08:09.749361Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts"},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2408.03350."}