{"as_of":"2026-08-12T20:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c1c9c50e9c492211304764d7ae0fcfacd0d857b40502d10c7b14f431b176e758","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-12T00:06:13.580813Z","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:25b9cdf278b6aaca17d7900239c5227438b485f8cc162c2393cf02e6b01abf63","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-12T00:06:13.580813Z","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:09b8dd1da7d3766228d170e96765870a90530a96692884cbe9d01d2087eab7bc","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-12T00:06:13.580813Z","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:8ec78c73ac99b5dd7cab76c6f283d22193302d4087517aca3ea77c04e28da821","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-12T00:06:13.580813Z","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:7e19a93ed726be63d76f09504394671f60a351143dac482721d87e5682e7f07f","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-12T00:06:13.580813Z","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:1e455fadc4d1c0ff0a9e94757e6955d4f5b86c7e3c3ba8edf71838bfd41446ff","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-12T00:06:13.580813Z","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:f71fbd5aee3a9a257dbb24318a4881a842330718f078d6c5ff2b80cc66927b54","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-12T00:06:13.580813Z","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:2c13ee82774c1d08822c1ffa03c285a62c167074ae2bf96fcec0004dbb0c9375","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-12T00:06:13.580813Z","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:3a6400bffbe6f5b95ca0388805d6059e26c9e75d5c6420203950ac5831778570","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-12T00:06:13.580813Z","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:f7413647c59606312bb45b950e3d9626e5aaba883dbb3214eeb8ab379467da55","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-12T00:06:13.580813Z","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."}