{"as_of":"2026-08-02T16:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cf9ff2a4c36a7ec07cb9e53d5430ddc58cbbd593255f54bf02880d300fce6308","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-02T06:30:47.504484+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T04:34:00.832732Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.10141","snapshot_observed_at":"2026-08-01T04:34:00.832732Z","title":"Ulu¸ san, Burak S","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.22511","last_updated":"2026-07-24T17:32:35Z","snapshot_observed_at":"2026-08-01T04:33:56.892936Z","submitted_at":"2026-07-24T17:32:35Z","title":"CausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal Inference","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T04:34:00.832732Z"},"links":{"cited_paper":"/paper/2605.10141","citing_paper":"/paper/2607.22511"},"observation_digest":"sha256:69aec24f27cf9468d94da4a254b99cc14ebbdef5b229430fecfd92e8381ccae6","observation_id":"2504497e-562d-488b-a211-9a3931197d90","resolution":{"observed_at":"2026-08-01T04:34:00.832732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.10141","snapshot_observed_at":"2026-07-31T17:33:58.321333Z","title":"o zde G \\","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.28110","last_updated":"2026-07-30T12:17:31Z","snapshot_observed_at":"2026-08-02T16:17:46.178956Z","submitted_at":"2026-07-30T12:17:31Z","title":"BlueprintRepair: Typed Local Edits for Failed Lean Proof Blueprints","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-31T17:33:58.321333Z"},"links":{"cited_paper":"/paper/2605.10141","citing_paper":"/paper/2607.28110"},"observation_digest":"sha256:c185d01a68b4cc5821172f68a41b852dee2d231ab64e97a94506e03760cf3df5","observation_id":"f66da1d5-eb1f-4f1f-839c-74f2ef51524e","resolution":{"observed_at":"2026-07-31T17:33:58.321333Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2605.10141/citation-record","integrity":"/paper/2605.10141/integrity","json":"/paper/2605.10141/citation-record.json","paper":"/paper/2605.10141"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41586-025-09833-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T20:47:34.402289Z","title":"URL https://aclanthology.org/2025","venue":null,"work_id":"7185d70a-ddd1-45ed-bbec-e728c41ebf52","year":2025},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:67938557d65dad3ccd4ad903a29442b4610906058eafac71d504bfc47e9a6867","observation_id":"4ca52f21-f269-41a5-be1f-73d253f47d7a","resolution":{"observed_at":"2026-05-12T04:31:21.284216Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-07-12T04:49:08.544658+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T04:49:08.544658+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":"2412.15115","doi":"10.1145/3581783.3612503","metadata_source":"pith","pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen2.5 Technical Report","venue":"cs.CL","work_id":"d8432992-4980-4a81-85c7-9fa2c2b87f85","year":2024},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:3ffbaaf618707769f5b3f608ceabf0b58a46b53a891b8d4bfce3878a9682ff8a","observation_id":"6517c079-bce5-46c6-8b80-d79e7bee92a6","resolution":{"observed_at":"2026-05-12T04:31:21.274067Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17181","last_updated":"2026-04-08T09:48:41Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-03-21T14:29:35Z","title":"A Study of LLMs' Preferences for Libraries and Programming Languages","version":3},"cited_work":{"arxiv_id":"2503.17181","doi":"10.48550/arxiv.2503.17181","metadata_source":"pith","pith_arxiv_id":"2503.17181","snapshot_observed_at":"2026-07-10T12:15:01.137692Z","title":"A Study of LLMs' Preferences for Libraries and Programming Languages","venue":"cs.SE","work_id":"8edfaa42-732b-4165-ada1-e73c57319904","year":2025},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2503.17181","citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:515edb9758bdf91fbe18c53055a2492b67b39291ae094327bb5ec77f97656114","observation_id":"81e5e456-54ca-4732-acf3-57d613bd5257","resolution":{"observed_at":"2026-05-12T04:31:21.278214Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12122","last_updated":"2024-09-18T16:45:37Z","snapshot_observed_at":"2026-07-06T19:17:41.512834Z","submitted_at":"2024-09-18T16:45:37Z","title":"Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement","version":1},"cited_work":{"arxiv_id":"2409.12122","doi":"10.18653/v1/2025.emnlp-main.712","metadata_source":"pith","pith_arxiv_id":"2409.12122","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement","venue":"cs.CL","work_id":"a097c5d4-6d32-46ee-9826-57d532bbfc9c","year":2024},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2409.12122","citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:0b7c3622f2d8edcbec74848d691085977a8c5ba5345d71b576a158c7fb3ad959","observation_id":"e01bfe6d-8b1d-4715-af09-592122bdc3ba","resolution":{"observed_at":"2026-05-12T04:31:21.281740Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":"Verified !","venue":null,"work_id":"c075c61e-3b8c-440d-944f-ca46e511eb25","year":2002},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:c0bf4f4b39a4d5cf6bb2835a3bb4f9dbbd56607959b98e070b3c5cbdd6a6f73b","observation_id":"5d347022-1614-4ff4-97ab-652f30d2818c","resolution":{"observed_at":"2026-05-12T15:26:40.023365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e8fd8ad3-e7c2-49e4-b524-7a94213f8408","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:5fa043c972d7054e2e57c7c78be932c1ed1ffce7aa9ad07b608c65ce42618f9c","observation_id":"10472418-45a2-41db-adb7-2a9afaa0fb05","resolution":{"observed_at":"2026-05-12T15:26:40.029428Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"355c7226-120f-473e-91e7-15d8dccbee9f","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:9a8f8b09e37fa18a5ac612c5b1cf17c98aa6350be5a4e034e640cf06e289a59d","observation_id":"d1ffd799-9061-4eca-b01c-4d1b52b72255","resolution":{"observed_at":"2026-05-12T15:26:40.020882Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f36d952f-b20c-4e76-a646-ec9c663ecbf0","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:ca05f56881088282be33e6f8040b4d1143f5489c645fe6259545e7e0e15d0a2e","observation_id":"752ce12a-3c52-458d-9954-cf9bd10a7f0e","resolution":{"observed_at":"2026-05-12T15:26:40.026626Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e7c19db9-bfd8-4d06-84a2-d138bdace025","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:6b2e02419a40d2567fa486cf89e89c69bf022272b6c05f808d22f0e7b03cf7b3","observation_id":"db704803-3498-4488-a6ef-c258a62411d1","resolution":{"observed_at":"2026-05-12T15:26:40.032149Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"132131d0-26a2-45f4-ace2-d56f46a0e48b","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:1a13db2bedb75534b05965dfd0cb090616f53830a1c7e3a8c102554cd9ba53de","observation_id":"961ec289-df88-445b-8f33-19f0711d02b2","resolution":{"observed_at":"2026-05-12T15:26:40.034811Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e9efafa8-d564-4694-9651-68d9ef84647f","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:58470e4c8db69bc14bff235d06264f389b00d2341a32d59dc10c637a81e6a3b0","observation_id":"bad5ccfb-f892-400d-b2b7-b0deac3ca074","resolution":{"observed_at":"2026-05-12T15:26:40.038209Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d61cc6cd-42b7-4b0f-96f7-124c5382f139","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:28cbf08fbea47b5fd4ff90fea5a8a7c18abdcfbc59336f36b73eb265b4f963bf","observation_id":"b8b645cf-ae6a-4198-abdb-59420a6bee70","resolution":{"observed_at":"2026-05-12T15:26:40.015013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+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-06-05T21:23:00.469572Z","title":"Input {theorem} Output Output only the completed proof, starting afterby","venue":null,"work_id":"9659b253-9bfa-486c-af2d-570d4e481fa5","year":null},"citing_paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-12T04:22:09.765339Z"},"links":{"citing_paper":"/paper/2605.10141"},"observation_digest":"sha256:1b5c7488712021036211c99cec6c355e688bf5d2180b50405a4568144369ea0f","observation_id":"a12aada3-e7b8-4c68-b90f-b408398efd55","resolution":{"observed_at":"2026-05-12T15:26:40.018375Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-02T06:30:47.504484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.10141","last_updated":"2026-05-11T07:51:15Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-02T13:27:26.628498Z","submitted_at":"2026-05-11T07:51:15Z","title":"FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":2},"total_outbound_references":13},"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-02T06:30:47.504484+00:00","source":"crossref"},{"observed_at":"2026-08-02T06:30:44.765945+00:00","source":"retraction_watch"}],"thesis":"As of 2 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 2 inbound Pith citation observations for arXiv:2605.10141."}