{"as_of":"2026-08-20T07:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:51dbcd2e4d0f7bea27f85350efcc171d9a914bf6c58f6120f760159029fb368a","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:11:03.012990Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2507.03659/citation-record","integrity":"/paper/2507.03659/integrity","json":"/paper/2507.03659/citation-record.json","paper":"/paper/2507.03659"},"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-06T20:11:03.545087Z","title":"In: 2023 38th IEEE/ACM Int","venue":null,"work_id":"00b39833-0ad2-4c4d-a0dc-6691a9debd71","year":2023},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.553307Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:29804c7a95ef9b1dd0742718c753f662bb27588c4e37cf33aa2b6376be2b3a18","observation_id":"bdc2c919-cd82-43a1-839d-800743640392","resolution":{"observed_at":"2026-08-06T20:11:03.549975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.530137Z","title":"In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION","venue":null,"work_id":"81eaa48a-a2a1-45f3-9a3b-c0771275ed18","year":2007},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.602764Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:9379826c666161ab850190b5d94ee126551207cf00674c1d01baac55141b1802","observation_id":"645d68d1-a0b9-4c9f-8c67-67e19800cdfa","resolution":{"observed_at":"2026-08-06T20:11:03.534522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.515152Z","title":"In: 23rd Int","venue":null,"work_id":"43159824-dc7f-4dba-b03f-c61338d1a53e","year":2025},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.690197Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:480bafa1080c171b681b8e4fd08ec146adb4af92d3844bc3ef916076cbfabedf","observation_id":"9eefee56-6270-4d13-b37f-a33953461130","resolution":{"observed_at":"2026-08-06T20:11:03.520210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.501430Z","title":null,"venue":null,"work_id":"ddcc4fa9-c6d6-4cea-a3db-51b9beb9ef39","year":2020},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.766214Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:f7017be69b9f190eb4422d95410d9aa1dcee4e1e8ce2526e45689f96db683a3e","observation_id":"7619e8f7-4584-43a4-9248-32172c322f04","resolution":{"observed_at":"2026-08-06T20:11:03.505653Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.487303Z","title":null,"venue":null,"work_id":"33338e51-9884-4385-8bd2-4cb64897476c","year":1969},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.842534Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:0f80d84ee176df171b8dbe6c5b68fbdf2fdc21992c225707fcc4e6bfa2b2deed","observation_id":"210368d0-9c3b-404c-83bb-5974166f334d","resolution":{"observed_at":"2026-08-06T20:11:03.491295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.472976Z","title":"In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design","venue":null,"work_id":"3009438d-5b17-4a53-843b-52636349763b","year":2011},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.915926Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:1b0b6d0c703addf1aa3cce6a1729aacbe1e7604a6f60c783364fa422b2142413","observation_id":"bcef0c74-edc7-4aeb-9c63-f4c8cbca3a72","resolution":{"observed_at":"2026-08-06T20:11:03.477258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.458602Z","title":"IEEE Transactions on Software Engineering38(1), 54–72 (Jan 2012)","venue":null,"work_id":"b6cac39a-3cf6-420f-a8cc-38f788173ab9","year":2012},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:00.995237Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:62b7fd6f9faa2efe19a49f757e483639aceea6c8fde490cce1c8e753155630ab","observation_id":"046d175e-01a2-4aba-ac59-ac40ae1ec79d","resolution":{"observed_at":"2026-08-06T20:11:03.462993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.444834Z","title":"ACM62(12), 56–65 (Nov 2019)","venue":null,"work_id":"6237d7c8-4cc0-476f-a55d-71bb6c85dc74","year":2019},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.058886Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:30c4ac4c7d7dd4a9fff0663f633a970c453731d6bee4a616bd55a0bfb55fb81a","observation_id":"cbe833a8-b146-4e20-8bbc-807a72a4c334","resolution":{"observed_at":"2026-08-06T20:11:03.448972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.430657Z","title":"IEEE Software38(4), 22–27 (Jul 2021)","venue":null,"work_id":"2aecc831-82d6-4aa7-b05d-cb24ee1ff81b","year":2021},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.174765Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:d8d643fa25e4f2462f3e326354fa6850e96990af8440631be425deec77b3fe17","observation_id":"c32d7a42-d063-4187-a269-ee610a3037c6","resolution":{"observed_at":"2026-08-06T20:11:03.434894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.415119Z","title":null,"venue":null,"work_id":"7707467c-6455-477d-ad38-00ff8445de19","year":2010},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.244358Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:c62f248bb8c2919349e8bccc50703fe0480fb6f032cb3a3833cfc695766a4032","observation_id":"6d41d56c-acf7-47fb-941b-b408bf20f4a9","resolution":{"observed_at":"2026-08-06T20:11:03.420024Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.400952Z","title":"Electron","venue":null,"work_id":"cced2c71-3c9f-45e5-9e16-a054bd7912f8","year":2014},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.345084Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:faa473ed5de91a828d8d612361736e42abdd8adfb1cb2d59fde69312df6a85d3","observation_id":"25a4ef5b-2ede-429a-9712-3449812d9a0a","resolution":{"observed_at":"2026-08-06T20:11:03.405303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.08467","last_updated":"2024-06-12T17:53:31Z","snapshot_observed_at":"2026-08-16T13:43:38.124764Z","submitted_at":"2024-06-12T17:53:31Z","title":"DafnyBench: A Benchmark for Formal Software Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.08467","snapshot_observed_at":"2026-08-06T20:11:01.430708Z","title":"arXiv preprint arXiv:2406.08467 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.430708Z"},"links":{"cited_paper":"/paper/2406.08467","citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:6187ddafc656c431f1b41f3856943df220288a0b9d9d59dcd0b1ad207683936f","observation_id":"3e2b61e2-c54c-46f2-a7e9-d6accab90eb3","resolution":{"observed_at":"2026-08-06T20:11:01.430708Z","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-06T20:11:03.386755Z","title":"Prentice Hall Upper Saddle River (2002)","venue":null,"work_id":"ad6d386b-55aa-4df1-bc68-79f500735c3c","year":2002},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.528201Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:4f78b7ccfb945c7b72262192bc840e8b5fc17743c22e87cb30efcc013aa88757","observation_id":"12b26871-0c5e-4aaf-90a6-35598881d30a","resolution":{"observed_at":"2026-08-06T20:11:03.391055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.373006Z","title":null,"venue":null,"work_id":"da06639a-4231-4a4a-939a-342f9b26ef46","year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.601954Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:afbdd10d42436c4bdc1cdaaa25f3b2d3b4a8669142f8ec212854f80f801262bd","observation_id":"d463f1fb-c750-4dcf-86ce-b1756ab256d3","resolution":{"observed_at":"2026-08-06T20:11:03.377104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.356281Z","title":"Technical Report hal-01956501, HAL Archives Ouvertes (2018)","venue":null,"work_id":"4b61e3c6-8191-444b-9e2c-b1a8bf897df4","year":2018},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.704451Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:7ded7437ed4b1b9187a7c24ff0b64eaa6729224e18b11f139f4db3787d09589a","observation_id":"8275e020-671c-4ad8-898b-557a8a857477","resolution":{"observed_at":"2026-08-06T20:11:03.361752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.342502Z","title":"In: Ramakrishnan, C.R., Rehof, J","venue":null,"work_id":"e708b2ca-9ccc-45ac-b13b-83f532ed0d6d","year":2008},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.777967Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:14db1b5d09b88f57b3e28bbfdc1ba5db4c3fc8deeb27ead9e2da6654afaf7575","observation_id":"e74178e3-83e6-4933-baf5-48cb6ab7f725","resolution":{"observed_at":"2026-08-06T20:11:03.346688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.328027Z","title":"IEEE Software30(3), 50–57 (May 2013)","venue":null,"work_id":"b73dd5f4-f441-4386-afea-55da5d80b5d3","year":2013},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.862988Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:a4444bcca2e36d930f792a868506c0566b29cb4612941a1a0fdc65e6b76912f4","observation_id":"8c538df8-5387-489b-8c3d-c45a5d4469ca","resolution":{"observed_at":"2026-08-06T20:11:03.332309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.313751Z","title":null,"venue":null,"work_id":"ac2a961d-824d-453c-a15c-8f73b85b2ca8","year":2025},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:01.956543Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:23a84f1cfe298258539f3c3e3687127440150383f4fb05790eeacd5581a20e8e","observation_id":"0b58764e-86f2-425e-b19b-68dcee8a7934","resolution":{"observed_at":"2026-08-06T20:11:03.317863Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.299277Z","title":"ACM Trans","venue":null,"work_id":"527a10f6-04cc-43cb-a671-dfbfc02c1dfa","year":2025},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.022531Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:8bed77c8dcc5dd71a7ca983994c91f024bf2ff107c8e4a662e47c8b98cacdb31","observation_id":"1c0d5cc8-c196-4e11-ad6a-413a5b478941","resolution":{"observed_at":"2026-08-06T20:11:03.303670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.284773Z","title":"In: 2013 35th International Conference on Software Engi- neering (ICSE)","venue":null,"work_id":"70fc6b71-1b11-4369-aff3-92806eb67ef2","year":2013},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.049258Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:67372665b19b8c4f98779cedc9154ed44ce0dc7ceeebd84da7bf8b83c4d852df","observation_id":"88df8d0a-e200-4505-a08a-e8f6f2f4ad90","resolution":{"observed_at":"2026-08-06T20:11:03.289227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.270236Z","title":"In: Enea, C., Piskac, R","venue":null,"work_id":"5043035d-59b0-4f42-80b0-070962921b14","year":2019},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.122763Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:3e48462cc9ec48ad1862bd29fd90a80a3d25eedb92a54b050f218275f5dc7d29","observation_id":"8a73f6d5-1487-4693-b2fe-87b04dc97ecb","resolution":{"observed_at":"2026-08-06T20:11:03.274754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.254763Z","title":"In: Gnesi, S., Rensink, A","venue":null,"work_id":"520b6871-91b5-40c0-900f-39ea632899b8","year":2014},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.278188Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:de110dd5d4ef703ab12800f6ef35c489b118433854c77ebdf79a2d3497ea0fe7","observation_id":"6a9da575-b053-4116-88f5-61de889dc5af","resolution":{"observed_at":"2026-08-06T20:11:03.259858Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.240747Z","title":"In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)","venue":null,"work_id":"84bac812-1d92-4bb0-a3e5-70dea8a9c4e2","year":2011},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.456818Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:aaca68b46e39ab210734dd6544cac16b68a366a5e37ab9e2b308597b23c462b8","observation_id":"6c97332f-1515-4d26-a6f5-1a428bca7faa","resolution":{"observed_at":"2026-08-06T20:11:03.244989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.226710Z","title":null,"venue":null,"work_id":"c7ebf8c5-a848-4562-a939-3dfc36cdc6e2","year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.607393Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:e0c45c667f9f1e4a774d21a3450b192f8bb4b1cd32c80f3d61166f7b1a0e39ee","observation_id":"a3f75bd3-744b-4e02-a487-f7b8af0d423e","resolution":{"observed_at":"2026-08-06T20:11:03.231034Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.210670Z","title":"In: Proc","venue":null,"work_id":"e348f2df-18ea-4d1e-b423-7ca86c95d903","year":2022},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.775375Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:45e15b2f4411a99e9cb49eb57c5f77731ab14919385f883d64e1bc72799243c6","observation_id":"18ef3cff-a8a9-499e-a9ad-780fe4e8c761","resolution":{"observed_at":"2026-08-06T20:11:03.215490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.194840Z","title":"In: Proceedings of the 2024 IEEE/ACM 12th Int","venue":null,"work_id":"0babdf4b-80ea-4a41-8295-6aea591a3d7a","year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.858399Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:8831cd72ba6a82fe59d5e56901749f2ce233aa34d8cd593c63cf75a5638bf64f","observation_id":"af0fbf1b-c5d9-4bec-a318-55a6accce731","resolution":{"observed_at":"2026-08-06T20:11:03.199958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.178712Z","title":"In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","venue":null,"work_id":"bab717e8-47fd-4f6b-ba0b-6a149fe2703b","year":2015},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.938475Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:c4aa6b9f856c29d2cbb07300e6e059cda5f597aa3b02f83235cea532d9d1d7a0","observation_id":"9f1aa29f-70f7-4519-b540-9213fc0438bf","resolution":{"observed_at":"2026-08-06T20:11:03.183640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.162827Z","title":"In: Avni, G., Giacobbe, M., Johnson, T.T., Katz, G., Lukina, A., Narodytska, N., Schilling, C","venue":null,"work_id":"c8b5dcea-7dcf-4502-bbf9-77aab8a53d6f","year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.974495Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:81aa0d54ed871d40f0e89522a67bb09e0b2fa53b2cbc7e73f4807a31cec55ada","observation_id":"7c22a629-ecb8-443a-8575-7ae0bcbb7216","resolution":{"observed_at":"2026-08-06T20:11:03.168751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.145826Z","title":"In: Proceedings of the 19th international symposium on Software testing and analysis","venue":null,"work_id":"fd5abb00-3513-45a2-b63b-dd9d9ea6379f","year":2010},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.991288Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:a9f75c40db7351a8294aefe7d5cca0ff8196ad97dca0fe8694a3e0069e4c69dd","observation_id":"a7a0faf6-8d27-47e8-a418-6e6e7b969a58","resolution":{"observed_at":"2026-08-06T20:11:03.151147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.127927Z","title":"IEEE Transactions on Reliability63(1), 290–308 (Mar 2014)","venue":null,"work_id":"883a16af-17ed-45d8-9f68-b4df668fcbb0","year":2014},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:02.996026Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:8e0dcb59c190797e7c41e8931de19950a4d504fe2525500634d4e50fc1c9ada3","observation_id":"788c041a-ee8d-491f-9759-37c39b71975c","resolution":{"observed_at":"2026-08-06T20:11:03.133172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.112247Z","title":"IEEE Trans","venue":null,"work_id":"077bfd44-e1a2-4a17-83b7-d294389809e4","year":2016},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:03.000201Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:e298d919ec7b36e304bedd5f58301d558c5cfaaf04b2a3c71cc85492d69228d3","observation_id":"cec45e30-1b24-408b-956a-55c8fc5472a7","resolution":{"observed_at":"2026-08-06T20:11:03.116993Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.096280Z","title":"In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","venue":null,"work_id":"be6514d0-d0e9-41fd-8932-f8e4f0681b9e","year":2023},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:03.004595Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:1771d98712b671ed8b533af0f2e3dcb1092a181f343bee193a0904f1cd8448c7","observation_id":"6959df65-3d40-41b2-94f5-07c0ccea5f7b","resolution":{"observed_at":"2026-08-06T20:11:03.101566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.080724Z","title":"In: Proc","venue":null,"work_id":"cc2d90f6-74bb-4a01-8e7b-f2f045de3720","year":2022},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:03.008909Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:79a5c4d72fefb3360414d28fecaf1a388d5e9fabf585bbfc964589966e91f67c","observation_id":"c5e9393c-0edf-458b-97e7-bf856a0f6b30","resolution":{"observed_at":"2026-08-06T20:11:03.085432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-06T20:11:03.063788Z","title":"ACM Trans","venue":null,"work_id":"f6e202c7-7eb8-44b3-bdc1-6bf6073edbe5","year":2024},"citing_paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T20:11:03.012990Z"},"links":{"citing_paper":"/paper/2507.03659"},"observation_digest":"sha256:ccf61bca21dea6adee7bb8948cc39fd501b956b0c5726a9fa829c939b55ada71","observation_id":"7c6bf159-c5be-429b-9679-0a716327fb17","resolution":{"observed_at":"2026-08-06T20:11:03.069696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.03659","last_updated":"2025-09-08T19:11:06Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T20:02:23.571120Z","submitted_at":"2025-07-04T15:36:12Z","title":"Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":27},"total_outbound_references":34},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2507.03659."}