{"as_of":"2026-08-09T06:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0d3e847a379e6ec86d49cc86df7892683d311277f750f2cd95d50d884c06c330","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-08T06:32:00.761636+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:15979bf004a7963b65467fccafbb9f7bd9cb7ba2f2fb46a8ccccc28ab71e030f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:07f6ab5c42549abca4696bed137f03220c66c65cffa424bf766dd4634e18f95d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:d274d181ad5a24556c95e2faadda901be3e353b6a397b4198e76c3d6df806b0c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:ff80e03aa442e8b4fa1fe264d134c37e9f9c1b54dfc4cfe997447503bb9b6e7a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:6d3e5bc9b370cb5e688bc76ede5963478e884f63b805d2bb5793804773c76b24","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:1176230d0c0806b23688d19c2223095d0dbc923e68612cc874209c3c8a518c9d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:a85c4a2205f7bde58d91e5adf23127c3d01178061546685436389d7bfe5c8fa7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:7095ae96edebb6007b7a09dc253b99c1171a9238d1d36ce7b5b4d57c5c301b49","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:3ec5d17686e1f51a8508521f6924e5c19255b1ac9083fd8fab5255851b1ef15d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:71873675023bc507e05f2fcd1d4182c47701a0ef708692136f2404e18179699b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:27ae21eb4bc6f2a13331a86789d94cfd79cb326c6b23682ac4a79323c83e619c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:996543f34ab407759ee1d22dcfb58251151d89cf29f023727ccb447f1f1efef0","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:847e047a05e316b8aeef46e9122b9b02c356d8dabe64ff225e0f52c540419d68","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:b4a169370d913ce28cf95a28436ac134cf5d4c6519382381cba390314c2c6b3d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:972f5e45b734d35495358474329d5e2883b67f856c6c5f3feb836a59aca64939","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:534a35f99718ba1ff6247a9d5659122c20496c2b9d24117690adce95f1baaa49","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:cfcc874be1f67b6d17febe9749070bb1d3046247d2f9ee155bc503745b76facf","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:a9b6b461d74596a04fd48b2ca596e2f3e7ceb1506980fd4cf0a6fe5a26933645","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:449a7e3ae53484f05e7d76990fb9c36f2db370156ed8bd103e92df2c6284d622","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:66310d7c6c59a1a324516734726f725548c639c61a2250b1fb11ccedce72d8f7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:114cc4489066a103da367b1744f3a0beb7b4f4a0c0ed5c3e2d5129192dab381f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:5b9be1acd570bc32a2005f086fad7a8904a1a87a671c9973e3c64876a395cac2","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:09a9c57f126e6ac5f2374097ac6154c1a448e42720235a499577e5ac7b9acee9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:990ee2ed69ded09dfb60b5e0ce0881b4b52f9f36c3e291987b8bc5fea0863496","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:0ec01c17e0e1d1a76f4109bdea1f36b4c0761766d579b7aaddb36f58a8505236","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:921f1dfafaeb4116a4a063155e9a2e4923ec89cddd9a1d7c31b80bbf0e4167a5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:eb6c48b19b73eea48188e21ea0ed6f4c1e049d41d8bffefd7f218543d42d40ea","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T10:49:52.229122Z","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:5f02a94256abe1bd20f5869e3e49421cbd434876102bc93866d70b7b9514c39b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:8a26fc3eb5c755e93c2aa5743fc133d274054281ff30e0bea31cd49a65c2868a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:fbb079e175be6d6aaf8a8eafbff1d301eaaa84151a7ad0b2a098dfbdb3601b1f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:f0417fce8e61ceedf48f34f93e0609c3ed0dc50b571ea0a6e3eeb2143347c5d5","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:6ce092eefe25d96c38a9afe6ea19fe2eea4e2dc0b055bbbc4c8496717210a50e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:f6503559004df1c0cb6c8bb80f43995a40b3b5e9cfb55d526565f22bb46b2c53","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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:4e59f76ada9c5e6c15eec9b0dd756e730cf9b2a18c8ef6acaaddb549c582d489","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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."}