{"as_of":"2026-08-13T05:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cb928d3add169418bc280859a05c2a40edeb0e19f1f1985af602e1173b18c8ec","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T05:55:51.115942Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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-06-28T23:52:36.891080Z","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-06-28T23:52:49.268292Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"cited_work":{"arxiv_id":"2508.02733","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.02733","snapshot_observed_at":"2026-06-28T23:52:49.268292Z","title":"What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","venue":null,"work_id":"ed215b37-fa76-4972-97d2-34265d2d82c6","year":2025},"citing_paper":{"arxiv_id":"2512.18436","last_updated":"2026-04-15T16:44:49Z","snapshot_observed_at":"2026-08-11T19:04:57.128806Z","submitted_at":"2025-12-20T17:22:52Z","title":"VeruSAGE: A Study of Agent-Based Verification for Rust Systems","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-16T21:04:11.290943Z"},"links":{"cited_paper":"/paper/2508.02733","citing_paper":"/paper/2512.18436"},"observation_digest":"sha256:e6748b2beb54cf70c588861fa457e04be2e28c5f3f0aba85d6ee6e1341df7c11","observation_id":"848fc1d0-1e0a-4963-9762-76656f763692","resolution":{"observed_at":"2026-05-16T21:08:33.035920Z","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":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"cited_work":{"arxiv_id":"2508.02733","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.02733","snapshot_observed_at":"2026-06-28T23:52:49.268292Z","title":"What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","venue":null,"work_id":"ed215b37-fa76-4972-97d2-34265d2d82c6","year":2025},"citing_paper":{"arxiv_id":"2605.30914","last_updated":"2026-05-29T06:59:28Z","snapshot_observed_at":"2026-08-04T08:48:12.582835Z","submitted_at":"2026-05-29T06:59:28Z","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-06-28T23:52:36.891080Z"},"links":{"cited_paper":"/paper/2508.02733","citing_paper":"/paper/2605.30914"},"observation_digest":"sha256:1269af8b3de6a3f7692ad662c3258509a4c61eec031b81a18663bc3b00bf014f","observation_id":"2fcab230-ba68-48db-898e-4f3d71c29c2c","resolution":{"observed_at":"2026-06-28T23:52:49.269884Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2508.02733/citation-record","integrity":"/paper/2508.02733/integrity","json":"/paper/2508.02733/citation-record.json","paper":"/paper/2508.02733"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.06176","last_updated":"2024-12-09T03:22:35Z","snapshot_observed_at":"2026-08-12T14:46:21.107195Z","submitted_at":"2024-12-09T03:22:35Z","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.06176","snapshot_observed_at":"2026-08-06T05:55:51.025861Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.025861Z"},"links":{"cited_paper":"/paper/2412.06176","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:c126cf19c38fca5b9b10667791ffe7adacaf1307089712d2a3ba4c87c5cb6179","observation_id":"9a11694c-a85f-4c1b-937d-91cecd06e49d","resolution":{"observed_at":"2026-08-06T05:55:51.025861Z","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-06T05:55:51.646470Z","title":null,"venue":null,"work_id":"f49ce43d-3170-453c-a7b9-2e534442fe7b","year":2012},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.029706Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:c83582b91ff9feb0eda3905b1c6ac646484a6c36c080c4c3809eae06e4802529","observation_id":"109a6451-c47d-4a49-aaa3-7b2a2e500792","resolution":{"observed_at":"2026-08-06T05:55:51.649578Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.638034Z","title":null,"venue":null,"work_id":"c4b1a880-e0c4-40ef-b0d8-bb8ce97ce0e5","year":2016},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.032923Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:82188b051683d1a13fb7c4da5a885545d6cc758e1cacbd759daa3497f852a068","observation_id":"17694268-1c6a-4ecb-9b9d-f61c11707714","resolution":{"observed_at":"2026-08-06T05:55:51.641006Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-06T05:55:51.036031Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.036031Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:b46fc3c737ef75cc1efb633183d9a54b69d98ce6feec91ec6522e9a416ba6e2f","observation_id":"3b26035a-25ab-4136-b2a5-3592907c2f3d","resolution":{"observed_at":"2026-08-06T05:55:51.036031Z","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-06T05:55:51.629119Z","title":null,"venue":null,"work_id":"331a99f0-4c2a-4249-9c1c-a289bdc1842f","year":2015},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.039672Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:ab051c03706519054e592ccecbd4666e9efc937e1a648480ca00177bd3d9d160","observation_id":"3c6bbbab-2e6a-420f-a8f0-f16428587612","resolution":{"observed_at":"2026-08-06T05:55:51.632105Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.042804Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.042804Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:b9251d4b68008f1255aac2e46b66e05d7714d8097c17dc4d891dcdd3d48e27ac","observation_id":"b5103463-b250-4033-8b92-9402bb4317ad","resolution":{"observed_at":"2026-08-06T05:55:51.042804Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.045934Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.045934Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:ee7c18c154f3eed7778231d637b0a4663f2db036f9da03eb3291bf0b54067721","observation_id":"1ea272f3-8bc8-41d0-9c63-430f0e44452b","resolution":{"observed_at":"2026-08-06T05:55:51.045934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.16130","last_updated":"2025-02-19T10:49:41Z","snapshot_observed_at":"2026-07-06T18:05:11.700127Z","submitted_at":"2024-04-24T18:38:11Z","title":"From Local to Global: A Graph RAG Approach to Query-Focused Summarization","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.16130","snapshot_observed_at":"2026-08-06T05:55:51.048775Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.048775Z"},"links":{"cited_paper":"/paper/2404.16130","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:cc9fa0cde80777544e60194bb204396d9004270ce5ab016b5286a2d19feea7c9","observation_id":"19fcae02-9d9e-4e89-a3d8-4a3b1353fb2f","resolution":{"observed_at":"2026-08-06T05:55:51.048775Z","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":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.428823Z","title":"Rabe, Talia Ringer, and Yuriy Brun","venue":null,"work_id":"a790c317-c018-4814-b36c-f6bbd1e4078c","year":2023},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.051852Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:340bcf08fc56579416c7d87ce56eb8804ce4bc58421749efdb1d96b320e00c76","observation_id":"5c7ec612-35a5-4476-9900-ee5ca593ebbc","resolution":{"observed_at":"2026-08-06T05:55:51.433326Z","resolver_source":"arxiv_id_nonexistent","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.615392Z","title":"Lorch, Oded Padon, and Bryan Parno","venue":null,"work_id":"b0beaa30-4ea7-4e6b-ad80-9475a40cfe75","year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.054664Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:742b66201b52a3c1fb787c585b975524f7c656e22e96bac8b0827adbdc0c91d9","observation_id":"226aaa72-2862-4918-9421-2aec5a1aa33d","resolution":{"observed_at":"2026-08-06T05:55:51.618484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2407.10040","last_updated":"2025-03-15T12:25:58Z","snapshot_observed_at":"2026-08-12T23:22:42.847883Z","submitted_at":"2024-07-14T01:43:07Z","title":"Lean-STaR: Learning to Interleave Thinking and Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.10040","snapshot_observed_at":"2026-08-06T05:55:51.057562Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.057562Z"},"links":{"cited_paper":"/paper/2407.10040","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:4f41f64b06eaa9331496f43ba51fb5e6ebf5c3093348469813e5b10b2b373d05","observation_id":"be36281b-a94b-4059-9326-0efaeee37c0e","resolution":{"observed_at":"2026-08-06T05:55:51.057562Z","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-06T05:55:51.607089Z","title":null,"venue":null,"work_id":"a477b8ec-4a73-42e5-95b0-fdc0ebf7d6d8","year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.060654Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:ba25a316263c4d6f619ab50b2cf0c82e2f4af9b9f1c6e1a15fe5302d2eb5963c","observation_id":"e598351d-b2e1-4348-8d87-df8e65f9315e","resolution":{"observed_at":"2026-08-06T05:55:51.610045Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3622849","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"fb8e0b2e-5c42-4e19-a29b-e39db137ac5d","year":2023},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.063710Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:95f2cfed2c66af72c27671c48a89f9027586aaa41871f909d2f18121a315d0dd","observation_id":"6aa9b1cd-6c8c-466c-9bde-46d16d58c6db","resolution":{"observed_at":"2026-08-06T05:55:51.147609Z","resolver_source":"doi","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":"2404.11584","last_updated":"2024-04-17T17:32:41Z","snapshot_observed_at":"2026-08-04T23:37:27.678120Z","submitted_at":"2024-04-17T17:32:41Z","title":"The Landscape of Emerging AI Agent Architectures for Reasoning, Planning, and Tool Calling: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.11584","snapshot_observed_at":"2026-08-06T05:55:51.066700Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.066700Z"},"links":{"cited_paper":"/paper/2404.11584","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:db92cb4eb5df114fca85809c79e4cacd5fe89286eb012b0d6b3f642da64284dd","observation_id":"82f0ac66-2a3f-41e1-89e5-07f4ba88e0d6","resolution":{"observed_at":"2026-08-06T05:55:51.066700Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.069610Z","title":"Lopes, Iris Ma, and James Noble","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.069610Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:b618deabad7148a255e31391c4ba5f4bf0b935e3b1dc4075d4ed6b3b7fe6c311","observation_id":"1fdb9e4d-d93b-494a-a811-9c51fd3fd172","resolution":{"observed_at":"2026-08-06T05:55:51.069610Z","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-06T05:55:51.598196Z","title":null,"venue":null,"work_id":"00e6321e-ee5c-44a4-9bc7-bce9a1ef4044","year":2025},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.072545Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:68d79c129ae129b81efe854dd36cdbb7e5dbfa7ae642486182a1ca6fb6eeaf8a","observation_id":"0caf1a06-ef0e-4e2f-a676-d1affab92bb6","resolution":{"observed_at":"2026-08-06T05:55:51.601195Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":"6425.34269","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.377133Z","title":null,"venue":null,"work_id":"38133c97-f7fe-43ff-ad84-42469dfeec90","year":2020},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.075425Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:cd20dae1205c3dcf8d4461e381a48421cf050292cd9d076b5109634a9e852616","observation_id":"7a605cf9-3356-4281-8abb-d1a3281dad7a","resolution":{"observed_at":"2026-08-06T05:55:51.381394Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.588794Z","title":null,"venue":null,"work_id":"00299c62-310a-4bf1-91f2-5c5be1648696","year":2019},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.078219Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:670cf16219e6ce4b74088c0dfcd160ab2d16e6f55f01c0e4768e3a1351e0fc88","observation_id":"1619aeb3-6aef-4ff5-afe2-61fb57c5ad70","resolution":{"observed_at":"2026-08-06T05:55:51.592292Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":"8527.35817","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.305699Z","title":null,"venue":null,"work_id":"e25fb4fd-1394-4bf3-bde3-4f8ea50b0b08","year":2023},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.081067Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:9ab5598d0b520975a48c3d2b3d861bba6a31add783d7ee3d7ffbf99eb366bb0d","observation_id":"1a3e15a4-4fef-4c2b-a8ec-863c8100568e","resolution":{"observed_at":"2026-08-06T05:55:51.310019Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.580458Z","title":null,"venue":null,"work_id":"411b4314-6bd0-4b3d-9ca4-9f405fb3acc6","year":2020},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.083837Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:748ca578bd692d162353555b591f9a94012d4b8063cccf50ec3fcf5b4ac5ee9c","observation_id":"b9496dc0-3119-4c71-b2b5-91669709bc38","resolution":{"observed_at":"2026-08-06T05:55:51.583384Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.571255Z","title":null,"venue":null,"work_id":"06c9232b-ec90-451f-8417-28738e3944e5","year":2025},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.086914Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:c93d8c9a66ac7b415bdb0cd41ea4758bdfa65d93bde9170d08451b8f1248c42c","observation_id":"706888c6-de02-4750-9140-2ac4ff1ef977","resolution":{"observed_at":"2026-08-06T05:55:51.574218Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2404.12534","last_updated":"2025-05-11T09:58:48Z","snapshot_observed_at":"2026-08-13T00:27:03.373118Z","submitted_at":"2024-04-18T22:54:08Z","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.12534","snapshot_observed_at":"2026-08-06T05:55:51.089735Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.089735Z"},"links":{"cited_paper":"/paper/2404.12534","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:20c33bc7f39eeaa1cd714a54249251eb655a5b70fe03b02d64a759bf6800da80","observation_id":"50cec71e-88b3-489c-bf52-bb635a4a85de","resolution":{"observed_at":"2026-08-06T05:55:51.089735Z","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-06T05:55:51.562395Z","title":null,"venue":null,"work_id":"98693f33-ee00-4e11-9a5d-21e845c17199","year":2014},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.093000Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:b8b201fa2d0eeb2f1c081aa8b553d20fac54096a1c0c2b3cbcb110dc0449c44e","observation_id":"17010ea3-ff35-41c4-84c9-989c748d51a4","resolution":{"observed_at":"2026-08-06T05:55:51.565402Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.553789Z","title":null,"venue":null,"work_id":"27283769-9bc3-4038-ba08-d26bbedd8f8b","year":null},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.095754Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:a449e89d5ca61279e052223206fc3b1f74aed70e103c17a823a21e75bead03ef","observation_id":"3e292a4d-33e6-4f8e-8ba2-0b765454c97e","resolution":{"observed_at":"2026-08-06T05:55:51.556897Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.104170Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.104170Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:cdb4c489fa88f55d1fdb82f0f8e9733760e78ee1e8fe51499647e53bc0322526","observation_id":"2a428583-b17f-45dc-861b-c2d03c8b4a44","resolution":{"observed_at":"2026-08-06T05:55:51.104170Z","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-06T05:55:51.526385Z","title":null,"venue":null,"work_id":"ec5cf853-df77-44f7-a7b5-2d80baa4596e","year":2021},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.107077Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:b38c718eebe02a1fa4d0a64ce840b3a4a29f1ffe031a1fa127215f609132bc36","observation_id":"b1825bf6-2264-4e15-921e-1f015c039604","resolution":{"observed_at":"2026-08-06T05:55:51.529394Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2310.18457","last_updated":"2023-10-27T20:10:56Z","snapshot_observed_at":"2026-08-11T02:27:57.314873Z","submitted_at":"2023-10-27T20:10:56Z","title":"LLMSTEP: LLM proofstep suggestions in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.18457","snapshot_observed_at":"2026-08-06T05:55:51.110232Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.110232Z"},"links":{"cited_paper":"/paper/2310.18457","citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:2206fa21be98b73d7a033c6ea5286edf49371af7f6ba6f17ea08b59c7e1dbe5c","observation_id":"1c937c3b-4814-4146-b2c3-163eeeda63ce","resolution":{"observed_at":"2026-08-06T05:55:51.110232Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.113262Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.113262Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:293e1e26502adbe1c946b7a78b3f0dbfaa4b09aca345e6c37faa80f922967e57","observation_id":"b7067c44-17d3-4ba8-afe3-052e8dc81197","resolution":{"observed_at":"2026-08-06T05:55:51.113262Z","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-06T05:55:51.512830Z","title":null,"venue":null,"work_id":"39b3e9d8-6f3d-4d33-8def-d7cc6fe7baa4","year":2017},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.115942Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:f493326f718a235a495eb34cbc1e1ea326514b8f012b9c16eb9ef52665669f87","observation_id":"e9bfed1b-606c-4fb4-a672-d7d8d667cdfa","resolution":{"observed_at":"2026-08-06T05:55:51.515766Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.535309Z","title":null,"venue":null,"work_id":"2e3fbe7a-a13e-45f4-8b6e-8e4f9bab33b2","year":null},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":270,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.101768Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:d9923e12fd939b956111e580aad5d3e48b5bd401a31eb5dcfb990789dfc0b6a4","observation_id":"4e245282-7d4a-43b0-817b-c14c8d8eaf06","resolution":{"observed_at":"2026-08-06T05:55:51.538996Z","resolver_source":"raw_fallback","status":"unresolved"},"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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T05:55:51.544491Z","title":"In 43rd ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL)","venue":null,"work_id":"2272c578-210f-4ea1-bdad-926df5ee3e35","year":null},"citing_paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-06T05:55:51.098736Z"},"links":{"citing_paper":"/paper/2508.02733"},"observation_digest":"sha256:3cfe86af25760ce9d04942f6399e846a4268d7589ff0df72f13bb1c2f46a9bc8","observation_id":"4c16bbd5-8864-4c55-9b27-5a379fd90d87","resolution":{"observed_at":"2026-08-06T05:55:51.547951Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}}],"paper":{"arxiv_id":"2508.02733","last_updated":"2025-08-01T22:16:30Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T07:37:27.553567Z","submitted_at":"2025-08-01T22:16:30Z","title":"What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":25,"verified_exact":2,"verified_fuzzy":2},"total_outbound_references":31},"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 13 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 2 inbound Pith citation observations for arXiv:2508.02733."}