{"as_of":"2026-08-08T20:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3fa7369420c203a72f903a17308de65e9e28d1003d6e97cea1bb765a92adb4af","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":11,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T19:23:59.900714Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":1,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-08T19:23:59.900714Z","title":"Mündler, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.05439","last_updated":"2025-04-29T18:39:35Z","snapshot_observed_at":"2026-08-08T19:18:13.447390Z","submitted_at":"2025-02-08T04:03:47Z","title":"Agentic AI Systems Applied to tasks in Financial Services: Modeling and model risk management crews","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T19:23:59.900714Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2502.05439"},"observation_digest":"sha256:3a1b11a1a6aebcf2dd97dc253dce99a1233be2a7cd020b382eff9aea817a3df2","observation_id":"7d6d7dab-37ac-48d0-9168-dbbca55e98f7","resolution":{"observed_at":"2026-08-08T19:23:59.900714Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-07T23:42:26.034044Z","title":"N., He, J., and Vechev, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.08806","last_updated":"2025-02-12T21:42:56Z","snapshot_observed_at":"2026-08-07T23:35:10.429545Z","submitted_at":"2025-02-12T21:42:56Z","title":"CLOVER: A Test Case Generation Benchmark with Coverage, Long-Context, and Verification","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T23:42:26.034044Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2502.08806"},"observation_digest":"sha256:1119e90c08bbb8a747896fc6ec5dedd5cd9187e7aff4e7dacb641b726f9dfce5","observation_id":"33dee1b0-7eec-4ef4-9ec5-702ca5051ece","resolution":{"observed_at":"2026-08-07T23:42:26.034044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2604.03245","last_updated":"2026-07-20T21:40:17Z","snapshot_observed_at":"2026-08-08T18:11:05.361652Z","submitted_at":"2026-03-06T21:41:28Z","title":"FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-15T14:31:36.233977Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.03245"},"observation_digest":"sha256:ac95ea20cf150b27c514cd80230aadc1535e9bf83e0daa99249cfaa321e845af","observation_id":"1342ece8-4ec1-4b9f-8338-032bfcab9e21","resolution":{"observed_at":"2026-05-15T14:35:55.898783Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-02T18:43:45.603737Z","title":"Code agents are state of the art software testers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2604.03245","last_updated":"2026-07-20T21:40:17Z","snapshot_observed_at":"2026-08-08T18:11:05.361652Z","submitted_at":"2026-03-06T21:41:28Z","title":"FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T18:43:45.603737Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.03245"},"observation_digest":"sha256:388db8768be42e82bb55134f57159748e9f48cc3286285b84b7f9c58d67f3aaa","observation_id":"7294be2b-68e9-4aed-94fb-8c8b77eda287","resolution":{"observed_at":"2026-08-02T18:43:45.603737Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2604.11270","last_updated":"2026-07-30T10:58:23Z","snapshot_observed_at":"2026-08-02T23:57:43.901147Z","submitted_at":"2026-04-13T10:24:28Z","title":"Evaluating LLM Agents on Automated Software Analysis Tasks","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-10T16:38:12.144252Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.11270"},"observation_digest":"sha256:9548c8428fa0970f143c5496e0c75111cbeae935c2de27fbfbcffb6b022d33a1","observation_id":"b1886534-7030-43f2-93f3-4d1fbe8413af","resolution":{"observed_at":"2026-05-11T08:26:01.436996Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-02T16:27:44.566904Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2604.11270","last_updated":"2026-07-30T10:58:23Z","snapshot_observed_at":"2026-08-02T23:57:43.901147Z","submitted_at":"2026-04-13T10:24:28Z","title":"Evaluating LLM Agents on Automated Software Analysis Tasks","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T16:27:44.566904Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.11270"},"observation_digest":"sha256:a7927bf9dbb344d1fc3b372e09a091703b8a5683d270bedbaa44ef48f13579ef","observation_id":"b80b8a8b-75e6-4795-8fd5-67884241e464","resolution":{"observed_at":"2026-08-02T16:27:44.566904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:9ebb7154d3db7c47e8642add3f019f899d72cea45a2db54739785c0deab59cdd","observation_id":"e77c6c09-3d33-4557-90f5-5153c535b6d6","resolution":{"observed_at":"2026-05-10T11:20:10.439528Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2605.06125","last_updated":"2026-05-07T12:31:09Z","snapshot_observed_at":"2026-07-06T23:18:36.537416Z","submitted_at":"2026-05-07T12:31:09Z","title":"Breaking, Stale, or Missing? Benchmarking Coding Agents on Project-Level Test Evolution","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-08T09:04:06.347354Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2605.06125"},"observation_digest":"sha256:c0c7b77425b1bf403ea10fc03cfaddcd4877c3808d7cdb45e10dfd088355fba3","observation_id":"0325c06c-79f0-4450-b662-d01a85937647","resolution":{"observed_at":"2026-05-11T20:26:12.077714Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2606.05391","last_updated":"2026-06-03T19:53:31Z","snapshot_observed_at":"2026-07-29T17:20:16.100829Z","submitted_at":"2026-06-03T19:53:31Z","title":"Human oversight of agentic systems in practice: Examining the oversight work, challenges, and heuristics of developers using software agents","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-06-28T04:58:10.803420Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2606.05391"},"observation_digest":"sha256:bcf1046119348c30bf10c22145b3a3596adbb69980e2ad55cfc0129e05c89197","observation_id":"dac780e1-9e67-47ba-99ec-4ba292dc3769","resolution":{"observed_at":"2026-06-28T05:01:39.711128Z","resolver_source":"arxiv_id","status":"verified_exact"},"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":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2606.12191","last_updated":"2026-06-10T15:15:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2026-06-10T15:15:01Z","title":"Agentic Environment Engineering for Large Language Models: A Survey of Environment Modeling, Synthesis, Evaluation, and Application","version":1},"reference_index":149,"source":"pdf_text","source_observed_at":"2026-06-27T09:46:30.702256Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2606.12191"},"observation_digest":"sha256:e60d70f1e90ed6435dd812901f7c5fac4bfeafa2719f6bbdf6fedddafe940e84","observation_id":"9dadea3b-079a-4243-927b-1cc5a0081008","resolution":{"observed_at":"2026-07-03T10:58:02.945964Z","resolver_source":"arxiv_id","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":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-01T15:36:23.269519Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26451","last_updated":"2026-07-29T04:04:54Z","snapshot_observed_at":"2026-08-06T23:16:49.939382Z","submitted_at":"2026-07-29T04:04:54Z","title":"ExplainBench: Evaluating Code Explanations from Agents","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T15:36:23.269519Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2607.26451"},"observation_digest":"sha256:d315b3eb9d2f882737003897e313d1a3c4ca547ff5d50a3b9a5391593c47216c","observation_id":"4b051cd0-eb9d-4680-9106-654078c7e260","resolution":{"observed_at":"2026-08-01T15:36:23.269519Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2406.12952/citation-record","integrity":"/paper/2406.12952/integrity","json":"/paper/2406.12952/citation-record.json","paper":"/paper/2406.12952"},"outbound":[],"paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2406.12952."}