{"as_of":"2026-08-10T07:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33cf8a85cfcf4edd85227ef78ab0dd3e78a82352eb97df0fbe76ddf1a68ce4e3","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T14:58:50.123767Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:27:21.289271Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T15:27:21.878365Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"cited_work":{"arxiv_id":"2502.01573","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.01573","snapshot_observed_at":"2026-08-06T15:27:21.878365Z","title":"Next Steps in LLM-Supported Java Verification","venue":"cs.SE","work_id":"f7e8d1ad-9903-442f-be74-d676e42e27b9","year":2025},"citing_paper":{"arxiv_id":"2507.15822","last_updated":"2025-08-04T13:56:16Z","snapshot_observed_at":"2026-08-06T15:20:10.925205Z","submitted_at":"2025-07-21T17:30:16Z","title":"Do AI models help produce verified bug fixes?","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.289271Z"},"links":{"cited_paper":"/paper/2502.01573","citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:9a5b7590c06a7159152788b42637c4abb2ce618b1f53ceb8a66dbed068051fff","observation_id":"08fc5ffc-2b28-4f71-9d73-2fa27f601d77","resolution":{"observed_at":"2026-08-06T15:27:21.962093Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.01573/citation-record","integrity":"/paper/2502.01573/integrity","json":"/paper/2502.01573/citation-record.json","paper":"/paper/2502.01573"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:51.108983Z","title":"(eds.): Deductive Software Verification - The KeY Book - From Theory to Practice","venue":null,"work_id":"6fdec3bf-7392-4c38-8443-f322d109d850","year":2016},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:49.811020Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:4bc9b45decd5ff6970be0219c97918f232f56ad4c953fa23bc93d50ced0e5c0a","observation_id":"acf8e066-fc46-4019-9045-e5d4b04bcb85","resolution":{"observed_at":"2026-08-09T14:58:51.155101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-61362-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":": Modular Verification of JML Contracts Using Bounded Model Checking","venue":"Lecture notes in computer science","work_id":"60481b37-b0ae-4b46-bc9a-bab9593b3c2e","year":2020},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:49.840281Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:75b1c888ab61804cb2afce7d9f4bd104bfe636d7685130ba0688549b56115ad3","observation_id":"dee1c742-242f-48f9-a124-7da45420fc55","resolution":{"observed_at":"2026-08-09T14:58:50.373904Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:49.937354Z","title":": Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:49.937354Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:4b2d23355d5eaed77e5af98f4c9e879f2aa6f9306146e95b8c87182e2aa45285","observation_id":"62527480-2ed5-424f-aba8-6e861a6f42cf","resolution":{"observed_at":"2026-08-09T14:58:49.937354Z","resolver_source":null,"status":"malformed_identifier"},"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-09T14:58:51.006223Z","title":"In: Larochelle, H., Ranzato, M","venue":null,"work_id":"65e5d5de-c2df-4aea-8342-4da6c57bca6b","year":2020},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.042053Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:a2d6edd97caf2707549442b216a3375de397e2569efafc8961e2ddf1afef213a","observation_id":"4ffd9f6e-edb4-4e94-baa2-0ac6c6c6b33f","resolution":{"observed_at":"2026-08-09T14:58:51.052091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.964469Z","title":": Ranking LLM-Generated Loop Invariants for Program Verification","venue":null,"work_id":"4b6876de-8f7c-47c2-887a-3fe9e7df9798","year":2023},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.047225Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:a09d17bd436dffdf9528734ddc3c73be48f98bcc684ca16f65c54fc1c87d3636","observation_id":"fbcc11ee-99eb-465d-ad9a-c7b416c1195e","resolution":{"observed_at":"2026-08-09T14:58:50.972060Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.149.8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Dubois, C., Giannakopoulou, D., M ´ery, D","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"c3613f33-f47b-4665-8985-d8ba80a0a2a8","year":2014},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.052405Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:c5f736ce08733cc839c202f88fabe0b1a421d96ca8cfbc4b200f53775a347aae","observation_id":"9aae984d-363a-48c1-8e19-e0b6189017d2","resolution":{"observed_at":"2026-08-09T14:58:50.346416Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.945526Z","title":"In: AI for Math Workshop @ ICML 2024 (2024)","venue":null,"work_id":"f74dfeb2-4ab3-4e1c-8754-272eb178bdc7","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.058267Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:300645c3f04193862e1625d1ed11e33a9074af480c0b5581574d5c4634c15fac","observation_id":"659159b4-6832-47b9-a194-a8d380d354e0","resolution":{"observed_at":"2026-08-09T14:58:50.952248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3689484","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"231a4fb5-a0cf-45ca-b80c-f35867f44ab0","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.062892Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:aad49624112c2c31808dad8f6980df0322108daef654fed292d7a7b6916d2d9d","observation_id":"c25cf9c0-21f2-46ea-a0be-9d0bd8bc72e7","resolution":{"observed_at":"2026-08-09T14:58:50.309441Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.929758Z","title":"(eds.) Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings","venue":null,"work_id":"4fe840d7-b565-4adb-8e42-332c90961484","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.067284Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:3d50efd36fe594f18155f2dc984c6f414b0ed87f5f8711c6fb1cb00044c610b9","observation_id":"766ff19a-9018-4291-896c-f5cdce2ee708","resolution":{"observed_at":"2026-08-09T14:58:50.934675Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.912968Z","title":": JML Reference Manual","venue":null,"work_id":"e3798b4b-9bbc-41a5-a660-bb4623490e5f","year":null},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.071544Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:28bcaea1881adacae21025327f6ed4ec3ed3f24ee6484d7e2a8e2f820ca9b4ff","observation_id":"47f886dc-f28a-4733-91ed-45e49970a4b7","resolution":{"observed_at":"2026-08-09T14:58:50.919229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07948","last_updated":"2023-11-14T06:58:09Z","snapshot_observed_at":"2026-08-08T21:04:54.404700Z","submitted_at":"2023-11-14T06:58:09Z","title":"Finding Inductive Loop Invariants using Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.07948","snapshot_observed_at":"2026-08-09T14:58:50.081241Z","title":"CoRR abs/2311.07948 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.081241Z"},"links":{"cited_paper":"/paper/2311.07948","citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:74082cee79e0373483aad4a5560f5b5f7f76d43de5a9d9631bdfc18aa9b9be64","observation_id":"1bc8450f-0b71-496f-a4fb-58b50dd4088b","resolution":{"observed_at":"2026-08-09T14:58:50.081241Z","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-09T14:58:50.545563Z","title":"Journal of Systems and Software 211, 111972 (2024)","venue":null,"work_id":"0073a711-0ae4-4509-a9e9-e57ff6c4ccf2","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.086047Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:6a6f8ecfa27fa773916a2fd43129ba1093e93576018f75c9662a61cc9508d300","observation_id":"b6d6a861-0ef4-46fb-a754-3c9d354436b9","resolution":{"observed_at":"2026-08-09T14:58:50.612317Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.743269Z","title":"In: Ball, T., Zuck, L., Shankar, N","venue":null,"work_id":"dca1e10f-f93d-4357-9ef0-0905ef0d0105","year":2010},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.090654Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:5a11bf1588d5cb1e25d3d00c77f7cf74d011a3482966d68dcc6ec1302d5b09f0","observation_id":"48650375-b81a-4ae0-9f46-b6ff6ef7bac1","resolution":{"observed_at":"2026-08-09T14:58:50.798933Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.710789Z","title":": Can Large Language Models Reason about Program Invariants? In: Krause, A., Brunskill, E","venue":null,"work_id":"cdb8752a-1dcb-4fcb-a6dc-9fe4bb2cf70f","year":2023},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.095228Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:20cd2b715c094545700e468ae8c890f6e68b0498a8306edeeb9eb863c7799762","observation_id":"15246e21-66fa-4bda-bcc5-bd78b2ba9c23","resolution":{"observed_at":"2026-08-09T14:58:50.716536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-75387-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:50.170679Z","title":"In: Margaria, T., Steffen, B","venue":null,"work_id":"50dd4428-223a-43cf-bcd6-0ccd771ad864","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.100003Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:74e83516137dcf420501e604ba6c06c9930351175765533ed6ae0e4a0a8782b5","observation_id":"d79d9ddc-030b-4f83-bc9d-2cc6cff786da","resolution":{"observed_at":"2026-08-09T14:58:50.209958Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-65112-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In: Avni, G., Giacobbe, M","venue":"Lecture notes in computer science","work_id":"c4216f8b-ecc2-4382-91f3-d8161ae148e4","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.104399Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:ac2cd06ead27d5d2136ab4057a62c202c914bda01851b4a5eb189e1e6568ff1a","observation_id":"da62e719-c8b9-4577-8f93-52ffed7b617c","resolution":{"observed_at":"2026-08-09T14:58:50.160365Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.693538Z","title":"In: The Twelfth International Conference on Learning Representations (2024)","venue":null,"work_id":"46880030-6130-4341-b3d6-00e1a15bac1b","year":2024},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.109348Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:70a79fcdf695874f1a521bca265822564ba7817873b60129a3b9410656c11f2a","observation_id":"8c5f97d3-a7cd-4f4d-8baf-7f0271b78de3","resolution":{"observed_at":"2026-08-09T14:58:50.698615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.03739","last_updated":"2023-11-22T23:49:03Z","snapshot_observed_at":"2026-08-07T05:10:14.907047Z","submitted_at":"2023-11-07T05:47:47Z","title":"Leveraging Large Language Models for Automated Proof Synthesis in Rust","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.03739","snapshot_observed_at":"2026-08-09T14:58:50.113812Z","title":": Leveraging Large Language Models for Au- tomated Proof Synthesis in Rust","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.113812Z"},"links":{"cited_paper":"/paper/2311.03739","citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:485e6c376e9adaac82258acf7245b38d688242049f9a95c7ea31d4eb80f77b1a","observation_id":"6779de35-ebb9-4b4d-b62d-19ad79e24bfa","resolution":{"observed_at":"2026-08-09T14:58:50.113812Z","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-09T14:58:50.675714Z","title":"(\\\" \\\"(\\","venue":null,"work_id":"4297babc-c93b-4eb6-baa7-69c10b83a1f1","year":null},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.118543Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:da3b2d6578e44fe28348d6ff3ee51839739cc610fe08272fb1b5b1ef4e3ae2b2","observation_id":"635df336-9cde-4901-b04d-771286133ef3","resolution":{"observed_at":"2026-08-09T14:58:50.681357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.660165Z","title":"loop_invariant \\","venue":null,"work_id":"e32ad21d-38a4-4803-967d-857989097fa4","year":null},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.123767Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:c4e5379e6b797fcb8bd7bf4d777d78a2612eec8f3ad04be0f20a9cb42a6ca03d","observation_id":"0768b184-419e-4748-9363-7e577936d22c","resolution":{"observed_at":"2026-08-09T14:58:50.665080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-09T14:58:50.843873Z","title":"http://www.eecs.ucf.edu/ ∼leavens/JML//OldReleases/ jmlrefman.pdf","venue":null,"work_id":"effd2fb3-b062-4e23-9788-e30d8dab2395","year":2013},"citing_paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification","version":1},"reference_index":2344,"source":"pdf_text","source_observed_at":"2026-08-09T14:58:50.076538Z"},"links":{"citing_paper":"/paper/2502.01573"},"observation_digest":"sha256:310519125982b3fb658e2cee14398556ad2dd9667833766eba352e7240932fd8","observation_id":"2961e86a-52a4-431c-aa8b-d36214dfa447","resolution":{"observed_at":"2026-08-09T14:58:50.891295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.01573","last_updated":"2025-02-03T17:55:50Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T14:52:37.287354Z","submitted_at":"2025-02-03T17:55:50Z","title":"Next Steps in LLM-Supported Java Verification"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":5,"verified_fuzzy":11},"total_outbound_references":21},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2502.01573."}