{"as_of":"2026-08-09T21:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2176094da705ae4f39dc4e584bf1356fa9736e354596305bd5fe01ef5f13023a","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-09T06:31:02.800959+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:c61a352828bc548b2c33e8aa7a45afb9c677fc1f40e34e35681356181b229dd6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:3b4cabcf1af7643a4ef0c6a61ccf8325acd5e9621e83fc1fd9475bd7e13f27a0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:50.368131Z","title":": Modular Verification of JML Contracts Using Bounded Model Checking","venue":null,"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:3fd65bdd2a9c435e192d405c4b47a72020b7fea0ac971a2e49d4bd3f28330195","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:de07503604dd9bcd9135902b0e84754577db755961b0a4a817cd16972994820a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0b79db7bf7439cff6f4c704748f6437f5f24b677503070a53150ff1d298d6ee5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.149.8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:50.341629Z","title":"In: Dubois, C., Giannakopoulou, D., M ´ery, D","venue":null,"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:b1316125ef26cd5d9176d1dd837f988da132701cc774edaec121ef9461688d1e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:699e602466af646f16ea87250ad24b8ff15d1d756d98a729f28bc05c05eadaac","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3689484","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:50.270162Z","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:84943535dffd825b1ba02b5ef32e758418b931bb2e6351c5cb870272a83c1162","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:25a25faddfd04f43aadb76db387ec717afaf996bb27bb244900ed9edb599d211","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:c92c158092bee793278ec0a61d16cbe9e0911f0fca516a3b35f84b7de1b24090","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:7633ac9d644689741746e9235e39e3bdd90181437f79a44204e889ca441ad89f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:86c2953fae36494cb2220eb1e27e3efba6dfada467698ffbb3bad2124ae2926b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:d6cd067d1658b6e80ed15e5ae9f94a6f7eea9109841c432ae2e138b8a48f2a1a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:33dbbcb3ba4aa54d82fd1a5482fec50d9be8dd162e5ec21d023ccda108e276af","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T14:58:50.154582Z","title":"In: Avni, G., Giacobbe, M","venue":null,"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:ee94afd1a079c83b51868e2e7beb487c08b067b7ef90ccbc8242facdb0122cd3","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:22254339e61b9a7fc2e3c8649ad63dd5a462b08e30088f33dee1581ba9ff0e28","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5cdaca12541bd9d974df46c254609de022a467939aea6df7a7298ad5449e3a8f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5ced65e89162073905ec9c31d55ba08772febe857103ed52f428e129353ee78b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:71eb2cfcb9e669d701ea50112f9e7a517270af6bc87d90b2d0ed9946920452bc","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2502.01573."}