{"as_of":"2026-08-09T23:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9f5f0f1d3b5ee7ba826857c5b3fb2954d61dedf25f1d7676366ddc02a89e08c3","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:27:21.759250Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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.15822/citation-record","integrity":"/paper/2507.15822/integrity","json":"/paper/2507.15822/citation-record.json","paper":"/paper/2507.15822"},"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-06T15:27:27.136332Z","title":null,"venue":null,"work_id":"369d3c16-6842-4f63-9954-fe2076bc204c","year":null},"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":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:18.680455Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:22d241ceeffcefd318f7da19ec7fbef6b4595749bb2c0ee086d5d7db0c82bd77","observation_id":"f7476b7d-59ed-4ae5-b37e-76ead5bb4d8f","resolution":{"observed_at":"2026-08-06T15:27:27.139697Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:27.127702Z","title":null,"venue":null,"work_id":"ff0d3770-58b3-4aa5-a05f-c60fe25eed0f","year":null},"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":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:18.775844Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2daade35e556a65d323960934ec8bf1db8c8ace83c1a3a0c9d17191968e4b3da","observation_id":"0992ae1b-98df-4d57-9b51-ff7ebb0a6cc6","resolution":{"observed_at":"2026-08-06T15:27:27.130493Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:27.117910Z","title":"Proceedings of the ACM on Programming Languages 7(OOPSLA1), 85–111 (2023)","venue":null,"work_id":"f94dd7ba-eee2-463b-a496-0f8d76e5accc","year":2023},"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":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:18.867922Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:dc9d8e0b504d6f74a43d018ace0bbcc0973daf308039b0ce5044670fa8925432","observation_id":"3ad414d9-7574-41de-ad99-aeb6113bc2ed","resolution":{"observed_at":"2026-08-06T15:27:27.121434Z","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-06T15:27:26.966540Z","title":null,"venue":null,"work_id":"c6404120-6a47-4cdb-8789-23966f7f088b","year":2005},"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":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:18.961067Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:f8f03f144142e183d1104e10cdae14c74fd2c874803ebc6b9982d74537938c31","observation_id":"c3621cbe-460c-46ac-a85b-347cf667652f","resolution":{"observed_at":"2026-08-06T15:27:27.065601Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:26.731003Z","title":"In: Marciniak, J.J","venue":null,"work_id":"490995f9-3bd8-40c7-97d2-e1b13de3c2a6","year":1994},"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":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.072401Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2f99050ad1704e40fa260c0db5133a2f7db359385e908de4657d28088f8b88c6","observation_id":"56e69961-6f0b-466c-ad0b-d49201b98c87","resolution":{"observed_at":"2026-08-06T15:27:26.872431Z","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":"2402.08147","last_updated":"2024-05-24T14:51:14Z","snapshot_observed_at":"2026-08-02T12:02:08.112912Z","submitted_at":"2024-02-13T00:55:14Z","title":"VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.08147","snapshot_observed_at":"2026-08-06T15:27:19.167597Z","title":"arXiv preprint arXiv:2402.08147 (2024)","venue":null,"work_id":null,"year":2024},"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":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.167597Z"},"links":{"cited_paper":"/paper/2402.08147","citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:f486337dde1b43aa9623d7e9403c28075bafe71539a38a8b129c2a6d51f9c96d","observation_id":"26239767-61c7-4033-ad6b-5b5793ec96ff","resolution":{"observed_at":"2026-08-06T15:27:19.167597Z","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-06T15:27:26.544077Z","title":"Encyclopedia of software engineering 1(528-532), 6 (1994)","venue":null,"work_id":"f723ca4e-4c3e-4eaa-af21-c576b7a72c25","year":1994},"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":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.252810Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2273471504b5b7ae488f518cd734e19180a668910b159138e08c77f96c3e87fd","observation_id":"aa91ce0e-cdc7-4af0-8cff-1a052d3009c3","resolution":{"observed_at":"2026-08-06T15:27:26.656724Z","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-06T15:27:26.378724Z","title":"Available at SSRN 4945566 (2024)","venue":null,"work_id":"87522089-08f1-4e7c-9ffd-5d9479528994","year":2024},"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":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.340954Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:8034f675015074ef8e85c6f6e6b61762af94209d09c2d1dd27ec3468c35e3782","observation_id":"4d873d77-5d5d-4244-8476-81358ff1894b","resolution":{"observed_at":"2026-08-06T15:27:26.481461Z","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-06T15:27:26.157673Z","title":"In: I nternational Con- ference on Tools and Algorithms for the Construction and Ana lysis of Systems (TACAS)","venue":null,"work_id":"e9dfa6c0-a13e-40f0-bf25-1db80df40ac3","year":2008},"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":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.452100Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:179f39741a5e3cb0737cd001245c00e3006894853716d1f5229ce8719bf9e2bc","observation_id":"9b6003f0-974c-492a-af17-b99a4209c42a","resolution":{"observed_at":"2026-08-06T15:27:26.286099Z","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-06T15:27:25.993921Z","title":null,"venue":null,"work_id":"4591962b-bae4-4964-b4a5-41f7d0ca13e3","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":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.540025Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:51f98aac8c7fb1e241e4de4b4e418012a230632193cacf90ef93d4073cfd2562","observation_id":"ac9d4cdc-f0de-4791-a7a5-467ca678489f","resolution":{"observed_at":"2026-08-06T15:27:26.094189Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:25.796088Z","title":null,"venue":null,"work_id":"5a6c99ad-66a3-4be6-8633-bafb49c69ebd","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":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.657312Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:62969b8fb0b6cc919bc656adfe9925825540fa56b08446314171d09bd7cccda4","observation_id":"727f7873-ecd0-4176-8e75-757b9452b243","resolution":{"observed_at":"2026-08-06T15:27:25.891362Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:25.635248Z","title":null,"venue":null,"work_id":"3e49c630-3db3-452b-a4d8-37fe0605ebb2","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":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.737782Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2e1d2105c144bff9acd05685f4dd122767a5649d9a4a8b6a109a0399a069a303","observation_id":"6bc6383f-5871-40fd-9968-7984a8309915","resolution":{"observed_at":"2026-08-06T15:27:25.713380Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:25.456928Z","title":"In: EPIA Conference on Artificial Intelligence","venue":null,"work_id":"88dd3278-ce07-4801-ab50-0523dae7fa1a","year":2024},"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":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.855662Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2aa3c5acbe09aaecf8cffd9aa9a98b60b0b46f948dd3bb2c8a9153a9bbe251c7","observation_id":"b5be7c2f-a394-4a1a-b84a-90ccaef84381","resolution":{"observed_at":"2026-08-06T15:27:25.516177Z","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-06T15:27:25.282771Z","title":"In: Proceedings of the 23 rd Koli calling inter- national conference on computing education research","venue":null,"work_id":"f41a62f2-c882-4971-8663-2d3c5b0d283e","year":2023},"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":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:19.977137Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:d4a1e676475cf31fa0bd8f7e63da9323994b74688b74468da54da9b331d4c673","observation_id":"8cbba2ae-4374-439b-8add-417927d0df20","resolution":{"observed_at":"2026-08-06T15:27:25.348135Z","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-06T15:27:25.108752Z","title":"Personality and Social Psychology Review 2(3), 196–217 (1998)","venue":null,"work_id":"1decd784-8a97-4ecd-8a43-b706b5f5d1a5","year":1998},"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":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.056159Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2288a7c44605e620e328d85564638831e054cd34bd3bbba15595c8c4556a1aa3","observation_id":"a4b6ebab-db89-4f5c-aa0a-0b8563a795e3","resolution":{"observed_at":"2026-08-06T15:27:25.216351Z","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-06T15:27:24.958242Z","title":null,"venue":null,"work_id":"e90ede82-d20e-49b1-b8bc-24c5076849ba","year":2011},"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":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.135872Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:64680bcd2b680ab882f3a24cb185adbfa1bad6e451e2ff4e9d97ce1b6e58b111","observation_id":"123ee3b9-7404-40e2-b03b-a52aede07394","resolution":{"observed_at":"2026-08-06T15:27:25.056580Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:24.807101Z","title":null,"venue":null,"work_id":"bddf1bda-be29-4c97-abdb-5c31995c403b","year":null},"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":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.248390Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:cf7583c487584c5b6307c43d3e45e4d4b9c440ce19fbf16533721066d7bd4ea0","observation_id":"8b1a22bc-9d6e-444b-a268-2e659b4cf799","resolution":{"observed_at":"2026-08-06T15:27:24.878373Z","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":{"arxiv_id":"2405.02580","last_updated":"2024-12-06T08:41:01Z","snapshot_observed_at":"2026-08-06T17:26:59.575505Z","submitted_at":"2024-05-04T06:28:27Z","title":"PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.02580","snapshot_observed_at":"2026-08-06T15:27:20.360263Z","title":"arXiv preprint arXiv:2405.02580 (2024)","venue":null,"work_id":null,"year":2024},"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":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.360263Z"},"links":{"cited_paper":"/paper/2405.02580","citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:27cda32f361a463d60f37111dfc25ef978c80c06d8061b5c1a2d190e307dbe14","observation_id":"f2938a33-6a0f-45e1-8cab-ef629c1f057a","resolution":{"observed_at":"2026-08-06T15:27:20.360263Z","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-06T15:27:24.584264Z","title":"ok pal, we have to code that now","venue":null,"work_id":"13332f04-71cd-4094-9ab2-78ce393242fe","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":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.437084Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:0f5187dd1a5052ab43c6f5dd2cbb3c19dfa762993b7c6d1dddefb524e7d5f57a","observation_id":"9aa1160c-5fa8-4715-8cd3-aba8b230846c","resolution":{"observed_at":"2026-08-06T15:27:24.687664Z","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-06T15:27:24.356759Z","title":"Design by Contract","venue":null,"work_id":"10c4993a-da05-4410-9ee6-74551ea452d6","year":1992},"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":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.503291Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:59b8074f43f15c97ca4e69bbe4af52d65c25d91df6d467e8d52908c3f0e91773","observation_id":"6be86af6-19cb-413a-96f5-354fef79db1e","resolution":{"observed_at":"2026-08-06T15:27:24.492023Z","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-06T15:27:24.264119Z","title":"Blog article at Communications of the ACM (June 2023)","venue":null,"work_id":"287f35c5-92ef-419d-b0b3-22664170a2bf","year":2023},"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":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.599080Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:858db3cc0b901d1c884baeecb6db671687979204eea6153070b9069633d9d163","observation_id":"607b39ad-f732-4281-beef-1cb73c82c3fe","resolution":{"observed_at":"2026-08-06T15:27:24.318438Z","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-06T15:27:24.065813Z","title":"ACM Computing Surveys (CSUR) 51(1), 1–24 (2018)","venue":null,"work_id":"04292c1e-a53d-4339-a6c3-869015afe318","year":2018},"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":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.705472Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:87ef76e8bd51bf422fc9257e33ffbd5e5f79cf9e3b8dc1d209df5cddebf8cac0","observation_id":"de75220a-69de-4128-bdbe-97685b857459","resolution":{"observed_at":"2026-08-06T15:27:24.148319Z","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-06T15:27:23.950718Z","title":null,"venue":null,"work_id":"7e4db1c6-bac0-4f24-be50-fee7131e964e","year":2018},"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":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.792924Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:09a70bfcdc51b313c6de783d8781be5e4865f928011841019841ae4c6121fe06","observation_id":"53630ddf-d3db-40ed-a465-6ff8b457ab9c","resolution":{"observed_at":"2026-08-06T15:27:23.999101Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:23.799271Z","title":null,"venue":null,"work_id":"c8e5c5c1-850e-4e95-8f46-7a56fed64d63","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":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.833294Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:cfa3a4ad008313c69271d311937a1cf3098d8d5be1e2ddd37b46c81144640492","observation_id":"a51ec2c5-0d2b-481c-b251-a4a446f36be0","resolution":{"observed_at":"2026-08-06T15:27:23.845345Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:23.676565Z","title":"it’s weird that it knows what i want","venue":null,"work_id":"b8af84ca-4c50-46f8-a038-c3a4a69e9e9e","year":2023},"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":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.902712Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:cebd6c8a5c2704f8087d296ea69234343b014fcdf84707ebc88ec3c9481db417","observation_id":"ce34712b-3394-4499-ada0-950623f371c4","resolution":{"observed_at":"2026-08-06T15:27:23.735547Z","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-06T15:27:23.535803Z","title":null,"venue":null,"work_id":"c510ded3-44f4-463b-abbc-330be8a179cf","year":null},"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":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:20.996673Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:3b0629de6feacffcfa68bb66df42b69aa51c534296144943d58364eb6aec1e7f","observation_id":"d0ddac82-153e-40e5-adc0-81b6070577f4","resolution":{"observed_at":"2026-08-06T15:27:23.598067Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T15:27:23.416781Z","title":"In: 2024 IEEE Frontiers in Education Conference (FIE)","venue":null,"work_id":"a74cb1a1-3799-40e2-b606-889dcbf479ba","year":2024},"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":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.097076Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:2b32b9cccd73b9572e9eb2b2ed810ffbe9a9a50c16cfc5d839117d6883caec2f","observation_id":"ec2c0d19-1fd4-409f-b01e-e6a67a122501","resolution":{"observed_at":"2026-08-06T15:27:23.480218Z","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-06T15:27:23.250503Z","title":"Communications of the ACM (July 2024), https://cacm.acm.org/news/the-impact-of-ai-on-compu ter-science-education/","venue":null,"work_id":"215a73d1-5fa8-4a6f-a511-16f768dd1ba5","year":2024},"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":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.134132Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:f7af53f4fd8f7383f7a286fdea9dd302349339665b778c0e23e05c35c65b3ba6","observation_id":"43057e10-79c7-4116-8eb9-7176d2f463a6","resolution":{"observed_at":"2026-08-06T15:27:23.325490Z","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-06T15:27:23.079031Z","title":null,"venue":null,"work_id":"4c46eaac-235d-4cab-bc0d-9a46958eedaf","year":2024},"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":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.218685Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:7df912b6f73ab6d64fdbbcaf0d45a59dcb23e0d8aa5cdd19d77d2f74d4ba1b05","observation_id":"72cd4ade-fb15-4558-8aaf-b19064ebb6ba","resolution":{"observed_at":"2026-08-06T15:27:23.158481Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"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"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:27:22.838252Z","title":"arXiv preprint arXiv:2305","venue":null,"work_id":"be3d23be-380d-457e-b5ae-173c90c8df4e","year":2023},"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":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.359990Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:8aad677c4cfb91f47f83ee08071e93faa65be1fb81366ca5157de1570f847937","observation_id":"634a8933-8f0c-4650-a786-6ae7f9e1c356","resolution":{"observed_at":"2026-08-06T15:27:22.965115Z","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-06T15:27:22.652466Z","title":"In: I nternational Confer- ence on Tools and Algorithms for the Construction and Analys is of Systems (TACAS)","venue":null,"work_id":"adcf75b1-da99-40c5-bc35-b84c5e3444a8","year":2015},"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":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.436345Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:1396e6b2a47c57e14a199961198907cd8b08bebda76d6b6c73ec9c54ec9e0239","observation_id":"77a6ddc6-cdd0-4057-b980-b4a934421cb1","resolution":{"observed_at":"2026-08-06T15:27:22.758297Z","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-06T15:27:22.471827Z","title":"experience: Evaluat- ing the usability of code generation tools powered by large l anguage models","venue":null,"work_id":"510b06d1-1ef1-4e11-889d-c29a73997d9c","year":2022},"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":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.486316Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:1f7e077cc6eac937c7d354be38e52cbc737db4ad8a09e724fed669f6789ab9af","observation_id":"f070250d-d8c0-4e40-be57-1f3c24199f18","resolution":{"observed_at":"2026-08-06T15:27:22.555404Z","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-06T15:27:22.317316Z","title":"In: 2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)","venue":null,"work_id":"d8cbf87d-a740-4f71-b161-fb294645849b","year":2024},"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":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.552631Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:1150492f43b02a4c007ceefa24ca6ad5126978711923db8d2e59a922cea7b60a","observation_id":"8ebea45f-23ac-4292-834c-c24c520d9c51","resolution":{"observed_at":"2026-08-06T15:27:22.366084Z","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-06T15:27:22.164897Z","title":"I n: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","venue":null,"work_id":"e8c3392a-d3e4-4351-beb1-92ef8a155241","year":null},"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":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.606612Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:403e107ce443466f2313fd8ebede731dec0b57acabbe9df16ed8479514003cff","observation_id":"d0045321-9acc-4864-a53e-2e66bca3a958","resolution":{"observed_at":"2026-08-06T15:27:22.230913Z","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-06T15:27:22.060111Z","title":"In: Proceedings of t he 33rd ACM SIG- SOFT International Symposium on Software Testing and Analy sis","venue":null,"work_id":"a3e7a8d0-d4fb-46a9-8dad-bb6e7cc9a231","year":2024},"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":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:27:21.759250Z"},"links":{"citing_paper":"/paper/2507.15822"},"observation_digest":"sha256:e4414308ecef55ecb992b25423a54e48d65b02e46763fd81d2612674e44ec199","observation_id":"8badbe7d-f791-470d-8e47-836d6e067ef7","resolution":{"observed_at":"2026-08-06T15:27:22.108173Z","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":"2507.15822","last_updated":"2025-08-04T13:56:16Z","latest_version":2,"primary_category":"cs.SE","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?"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":36},"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 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2507.15822."}