{"as_of":"2026-08-10T00:33:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8eef151614bee665afe1be71f04f9eb5e4d4b4cd3db187a89581e50f8b7b6a42","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:50:37.990867Z","state":"measured"},{"denominator":51,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":51,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-15T05:15:57.846560Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-15T05:19:46.486658Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"cited_work":{"arxiv_id":"2507.15892","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.15892","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"StaAgent: an agentic framework for testing static analyzers","venue":null,"work_id":"056139c8-843e-45ac-ae13-901fd81db449","year":2025},"citing_paper":{"arxiv_id":"2605.13898","last_updated":"2026-05-12T13:47:26Z","snapshot_observed_at":"2026-07-06T23:25:25.361350Z","submitted_at":"2026-05-12T13:47:26Z","title":"Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-15T05:15:57.846560Z"},"links":{"cited_paper":"/paper/2507.15892","citing_paper":"/paper/2605.13898"},"observation_digest":"sha256:6b9b71a01b6b523ca836a87a6b7e2ef3ca6e4a1cdc4417a5e6b4bda1817be0b1","observation_id":"98af3acf-5c3a-4deb-9fe3-25f040696ad3","resolution":{"observed_at":"2026-05-15T05:19:46.489998Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.15892/citation-record","integrity":"/paper/2507.15892/integrity","json":"/paper/2507.15892/citation-record.json","paper":"/paper/2507.15892"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-06T15:50:37.828292Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.828292Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:9a52647308ee0229f99695ff6cca70469278eb745d555e3a20552496ba738680","observation_id":"6c43b9d8-96d2-4249-98bd-eda461f8dd37","resolution":{"observed_at":"2026-08-06T15:50:37.828292Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-08-06T15:50:37.832532Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.832532Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:98e8ecba99897d4e0cf6fc33416e4cd13f530dbbe8f3d05143df86f59a9ab461","observation_id":"f065e01f-c267-472f-8747-dc5c18957106","resolution":{"observed_at":"2026-08-06T15:50:37.832532Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.01414","last_updated":"2025-03-20T11:21:07Z","snapshot_observed_at":"2026-08-08T05:24:39.480958Z","submitted_at":"2024-11-03T02:47:03Z","title":"A Deep Dive Into Large Language Model Code Generation Mistakes: What and Why?","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.01414","snapshot_observed_at":"2026-08-06T15:50:37.836305Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.836305Z"},"links":{"cited_paper":"/paper/2411.01414","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:f09be2acb6c7bbe7b1e4e63f9fc301ae557886712c57c398386056ffa605e280","observation_id":"7b8aab02-ddd3-4fc5-8ee5-bca1f9433514","resolution":{"observed_at":"2026-08-06T15:50:37.836305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.04140","last_updated":"2023-06-07T04:27:09Z","snapshot_observed_at":"2026-08-04T18:50:11.343827Z","submitted_at":"2023-06-07T04:27:09Z","title":"Increasing Diversity While Maintaining Accuracy: Text Data Generation with Large Language Models and Human Interventions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.04140","snapshot_observed_at":"2026-08-06T15:50:37.839923Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.839923Z"},"links":{"cited_paper":"/paper/2306.04140","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:6d2c27e6ee93d07884173c6834fdb5991cd16a8f7eb3e40ddbaaec1b44cdfef9","observation_id":"f4a26e47-dba7-459a-861f-93ecec154ea7","resolution":{"observed_at":"2026-08-06T15:50:37.839923Z","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:50:38.622293Z","title":null,"venue":null,"work_id":"459be7d4-f019-433c-9dba-3353b1a1bb30","year":2021},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.844112Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:48306ba81e1a95a2f11a0c6a7a89bf19434a9545dda6c4461255e7325c36d8cd","observation_id":"0914484d-f36f-4d5f-a52b-ccddacd51cf4","resolution":{"observed_at":"2026-08-06T15:50:38.625608Z","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:50:38.611629Z","title":null,"venue":null,"work_id":"b4143793-fa28-4125-acbd-5296f0328595","year":2012},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.847954Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:05cb46dd2b59ef8c2b2874180c70afc19637cf0540980cb5c00603d154b1ca95","observation_id":"cc4e393f-d652-48fb-85af-6357f9308960","resolution":{"observed_at":"2026-08-06T15:50:38.614750Z","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:50:38.600787Z","title":null,"venue":null,"work_id":"09567b6e-4254-4ed5-9e5c-af264befe6ef","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.852121Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:17f3b441e87ae729ef340459ba55f9331d588879f9cf5193f6869a865022336f","observation_id":"2d8e1758-cba8-4eab-b298-78bcc9a112d0","resolution":{"observed_at":"2026-08-06T15:50:38.604301Z","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:50:38.590379Z","title":null,"venue":null,"work_id":"5ef3cc73-fe52-45f1-9fc3-9845af6f7373","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.855347Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:807a123070be5e84e5588bfcb732ea6433a82071921d3ee45854cfb87d368faa","observation_id":"950e3fae-4f49-488e-b094-28858f26c779","resolution":{"observed_at":"2026-08-06T15:50:38.593613Z","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:50:38.579278Z","title":null,"venue":null,"work_id":"8a3fa50c-7cfe-4191-b8c1-db8d2ddf4bbb","year":null},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.858480Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:adb3f63423287be7c7939d315ff9971df02be25d63d81240be18f8717c3e20e8","observation_id":"1e4f2b0f-ee12-4f6a-a847-34bfa58595e5","resolution":{"observed_at":"2026-08-06T15:50:38.582482Z","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:50:38.568219Z","title":null,"venue":null,"work_id":"81333969-23fd-4a83-95df-6f0accc66ec1","year":2020},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.865616Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:ee9d16d7140558945bfb57b3e6c434c072538ffd28d70082c1c03852eed15c73","observation_id":"b5544518-cb51-4740-9e66-6c2232f4f6ed","resolution":{"observed_at":"2026-08-06T15:50:38.571536Z","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:50:38.556438Z","title":null,"venue":null,"work_id":"eb0fe6e6-3117-4ce7-b1e8-50c2455bf574","year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.868908Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:49a74f38aee48d51f45f31dc7164751059c4d8270b7636e3fa7cee5f18aee1be","observation_id":"7a68f283-cdc7-4903-a234-dbdc94229549","resolution":{"observed_at":"2026-08-06T15:50:38.559825Z","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":"2401.14196","last_updated":"2024-01-26T09:23:11Z","snapshot_observed_at":"2026-08-06T22:40:28.707813Z","submitted_at":"2024-01-25T14:17:53Z","title":"DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.14196","snapshot_observed_at":"2026-08-06T15:50:37.872603Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.872603Z"},"links":{"cited_paper":"/paper/2401.14196","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:dd6ce3a960eeb0e84714a99d40d30b882cb2e80ecc33aca876fe1d0533bae30d","observation_id":"5639fb01-b371-40e9-a499-8313285942b5","resolution":{"observed_at":"2026-08-06T15:50:37.872603Z","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:50:38.545097Z","title":null,"venue":null,"work_id":"827c45f6-2690-4e3f-99ed-f7d441d31cbf","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.875895Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:13fdc2d27e9ad5204b75f651ce811dcbf1a01622d32ded33d3a16716a8e4a101","observation_id":"a88a948a-57b3-484a-be8f-053e6f9eb024","resolution":{"observed_at":"2026-08-06T15:50:38.548706Z","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":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-06T15:50:37.879131Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.879131Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:7f114f087433b51cd0e1d3af12bd3c493d21158201ee317dd07914c010d1823c","observation_id":"bd8e21c9-1a74-4a12-845e-bc59024a44dd","resolution":{"observed_at":"2026-08-06T15:50:37.879131Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-06T15:50:37.882475Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.882475Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:a66e1be85bb2913fef4f4fdbf85870a314679b1e009d3711625e3a48d4de0765","observation_id":"71116cf8-70d5-4484-8e85-987caa998d69","resolution":{"observed_at":"2026-08-06T15:50:37.882475Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:37.885911Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.885911Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:baea597b2aa9bd83faf7d612ae0b17770ceb803ed5eee6451f71444f4a03c383","observation_id":"6e70737c-4fd1-4e30-bc11-edb40fd83630","resolution":{"observed_at":"2026-08-06T15:50:37.885911Z","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:50:38.534328Z","title":null,"venue":null,"work_id":"b702b6d1-65a9-4fbf-8899-0deff76c4cd6","year":null},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.888992Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:7f6875d56dd015418b51cc483b6935e55a56618aedf522610337c7339af09271","observation_id":"493aee11-708d-45ec-94dd-936ffabfae9b","resolution":{"observed_at":"2026-08-06T15:50:38.537728Z","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:50:38.512062Z","title":null,"venue":null,"work_id":"538406dd-dd6b-4e02-b393-7c57caf6485b","year":2019},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.895633Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:a5df4a18b37f42fa50b37430941b925f49a5ed1b6a754ba81cd328e04d882e60","observation_id":"b7ec9fe8-e120-45fb-965a-3e503e89f6e1","resolution":{"observed_at":"2026-08-06T15:50:38.515420Z","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:50:38.523250Z","title":"In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","venue":null,"work_id":"949149f8-1858-4aed-b440-d6addb42d255","year":null},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.892091Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:f7ab8fb586403b7df895a5c5f28168795b5fde07805a07d101564dffe8e8eb9b","observation_id":"c2109f96-7975-410c-8223-7b544fe2e2d6","resolution":{"observed_at":"2026-08-06T15:50:38.526662Z","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:50:38.493272Z","title":null,"venue":null,"work_id":"c2580b08-a63c-4c8f-bac8-f2b46611295e","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.901947Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:d81381a2d72ca2971c9f1c9cad03b41f5b83921a6a3be984d7db892b5fee84a7","observation_id":"bd07e340-61ed-4e3b-a8b4-abdf855da530","resolution":{"observed_at":"2026-08-06T15:50:38.496745Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:37.898845Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.898845Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:b6c3b7b86d0ee74f3fefb4a52374518cff7d5869bf4a88ee1b69cc90e0016811","observation_id":"7e6faf03-bbee-4ac9-93ca-9f4661466e04","resolution":{"observed_at":"2026-08-06T15:50:37.898845Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2406.15126","last_updated":"2024-06-14T07:47:09Z","snapshot_observed_at":"2026-08-09T02:49:33.324683Z","submitted_at":"2024-06-14T07:47:09Z","title":"On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.15126","snapshot_observed_at":"2026-08-06T15:50:37.908542Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.908542Z"},"links":{"cited_paper":"/paper/2406.15126","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:96acf8c1601f84967eb94318889c78ec23a7448d354ea0a474baf652c0ad22d7","observation_id":"2e77c0ea-1796-4f21-a6a5-65b116f4353f","resolution":{"observed_at":"2026-08-06T15:50:37.908542Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:37.905160Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.905160Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:fdcb61e16cf049013cc2dc183758057b7f13370bbb7c5535e38e43e01156d4b5","observation_id":"98b0428e-4e81-4f37-b53b-c477ec6e22c3","resolution":{"observed_at":"2026-08-06T15:50:37.905160Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:37.914484Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.914484Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:21f14c1d55ab4495dfe75dd0eaed2d9c3c3daf6bc3140e066e8258d2acb14404","observation_id":"d95de922-5f87-4435-8c53-27f244c7745e","resolution":{"observed_at":"2026-08-06T15:50:37.914484Z","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:50:38.474370Z","title":null,"venue":null,"work_id":"485fcc2f-c84f-4191-8b84-9555b062181c","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.911534Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:f72d5c3b2bf4a901b6f68b2a0fc9214d8bfa6e67075636c33d7058d1d828ba72","observation_id":"faad9a03-cdb3-405c-ab95-d7fb70c396e9","resolution":{"observed_at":"2026-08-06T15:50:38.478088Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:50:37.920746Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.920746Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:a0bc338ed9bad35b7a9515223fdc94e5eb50beadb53550b6f39a6f3eeb72fe8a","observation_id":"89b2e0ba-8550-41c3-94cf-56fd7dd19495","resolution":{"observed_at":"2026-08-06T15:50:37.920746Z","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:50:38.456841Z","title":null,"venue":null,"work_id":"b94fefa6-f653-4646-8611-18932b132eef","year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.917673Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:c1d6ab9882f32c1e9ebf8a1ea4f1a39492bbb64c3869c2ec5fc59e78b1a49ff9","observation_id":"2f267f60-5e82-4c59-a103-079c832f04ab","resolution":{"observed_at":"2026-08-06T15:50:38.459879Z","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:50:38.428180Z","title":null,"venue":null,"work_id":"7ffce540-15ef-4a8b-bc60-d43b9a021b5f","year":2018},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.926882Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:0c8161239cde85b756aab9b491babbc4f5aaec43ef1c2de66bfb387f2619fe61","observation_id":"3cf029d1-20ae-48ae-b082-a9a19a6dd88b","resolution":{"observed_at":"2026-08-06T15:50:38.431136Z","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:50:38.438372Z","title":null,"venue":null,"work_id":"ddfd8e30-e0a1-4b02-9777-bf32c952c5a6","year":2022},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.923809Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:c2cb67ea984effebef90a500e2cca7af361cf0c2ad9e6735be3d1c50dab00609","observation_id":"b4408629-61d1-41a2-8b4c-767218324268","resolution":{"observed_at":"2026-08-06T15:50:38.441840Z","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:50:38.407621Z","title":null,"venue":null,"work_id":"eb09ab59-9767-47b5-aa34-3ab017e3714e","year":2020},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.933264Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:92fe2b8b9cfab4054e586255778574ce617c5c6cc49cf3ffcae8e1e5cb36e527","observation_id":"bc5a3416-b917-45da-adec-9fedf767904d","resolution":{"observed_at":"2026-08-06T15:50:38.410865Z","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:50:38.417998Z","title":null,"venue":null,"work_id":"07daff32-4ac6-4e51-a581-c612097f146d","year":2020},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.929932Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:8eeb88b79af424260a80b225fd36806f299f78cd5806eb3d448bd80da0d04ea0","observation_id":"89d1e385-0fd3-4343-bef8-068e7224bb77","resolution":{"observed_at":"2026-08-06T15:50:38.421071Z","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:50:38.396940Z","title":null,"venue":null,"work_id":"07e12f85-4909-4066-ae10-1aebdf663354","year":2025},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.939549Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:53ca26bf37721eaecd2fb83758151d4ce3307408d98dc0d2350084f34922a768","observation_id":"e7136475-ead0-4d46-8d7c-a080b72c93ca","resolution":{"observed_at":"2026-08-06T15:50:38.400129Z","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":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-06T15:50:37.936250Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.936250Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:9b2f298925d9e3db4bf9d35337d1d74ae684fbce89ddcefed49e46ff8e835a35","observation_id":"377e084b-44f3-4513-aa45-529fc45b2127","resolution":{"observed_at":"2026-08-06T15:50:37.936250Z","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:50:38.376303Z","title":null,"venue":null,"work_id":"ab6e7963-c946-4b69-9e0a-484f9dacdf4b","year":2025},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.945842Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:52d0d669b604fa3ad9fd2c81676e32c1983c31ad45914d4a06ef328a8eeef0c4","observation_id":"c0c69dc8-5820-474c-8246-324630c463b1","resolution":{"observed_at":"2026-08-06T15:50:38.379427Z","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:50:38.386618Z","title":null,"venue":null,"work_id":"c241b2f3-972d-414f-a0d8-f9024dac7d68","year":2012},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.942654Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:d744d85c44874acd81223739f499cadf66e252f43b04ce5b02f38e2be677ebb7","observation_id":"3887a33b-da04-43ba-b774-7e86d645b4d7","resolution":{"observed_at":"2026-08-06T15:50:38.389622Z","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:50:38.354131Z","title":null,"venue":null,"work_id":"81f1d6d0-6605-453e-9a66-95195db4d7ad","year":2016},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.952608Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:9080bcdb9f943d1d42b7c91e94a0d0bf13e5ef6d3ff65d4f7607958e94606774","observation_id":"9ece788a-ea8b-451a-8aaf-0fe9f48a4b1d","resolution":{"observed_at":"2026-08-06T15:50:38.357848Z","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:50:38.365485Z","title":null,"venue":null,"work_id":"718579db-873d-4d7c-9480-15d22f7baf98","year":2020},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.949633Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:25bcb2390e864b5cc81d72844317d3c8fc6280898c0b9b0fec9c42d4ad0bb26a","observation_id":"67b7f91b-fa73-4495-8a24-e20e8e97290f","resolution":{"observed_at":"2026-08-06T15:50:38.368641Z","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:50:38.333181Z","title":null,"venue":null,"work_id":"068d44f3-5d56-4cf9-942a-847205405de6","year":2022},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.958812Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:7fc541b28a6af955147b596179c934f2acf69cdd070f8052b8d1eb8f7d6aa8e5","observation_id":"3c4ec389-6d76-418f-945a-df74b719cdd8","resolution":{"observed_at":"2026-08-06T15:50:38.336408Z","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:50:38.343850Z","title":null,"venue":null,"work_id":"00e0c266-c24b-40dc-aa4d-d2fec7d4247d","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.955698Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:18f7536032290504455ef6548f05a076e6d02622e6e411c5bdea0a597eade247","observation_id":"f1a1a54c-d243-4a96-a263-c4a94f667ebd","resolution":{"observed_at":"2026-08-06T15:50:38.346923Z","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:50:38.322849Z","title":null,"venue":null,"work_id":"da6ab836-b7e5-4f67-9a5e-b78bf2599c28","year":2022},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.965067Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:a14de4a756758516b46826b41644fee304ae2e4d34d254b20b617b2313e7c6c2","observation_id":"bc7298a1-0cd3-43f3-a672-fac1de6dfb6f","resolution":{"observed_at":"2026-08-06T15:50:38.325930Z","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":"2409.03733","last_updated":"2024-10-18T23:53:07Z","snapshot_observed_at":"2026-07-06T19:11:09.921186Z","submitted_at":"2024-09-05T17:44:49Z","title":"Planning In Natural Language Improves LLM Search For Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.03733","snapshot_observed_at":"2026-08-06T15:50:37.961891Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.961891Z"},"links":{"cited_paper":"/paper/2409.03733","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:fd276405c13f9e170e62e9b2e034ffa467d93e01fc1bb84eb69ff2f7fbcab325","observation_id":"fc18e0be-84d9-40fe-ad59-d7e4a118fd65","resolution":{"observed_at":"2026-08-06T15:50:37.961891Z","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:50:38.300144Z","title":null,"venue":null,"work_id":"ec376da0-bae8-4929-82df-9696ed2577e2","year":2022},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.971767Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:e7e1d20f15d2e1c4b89066a7e8e08981f1860e1f6728ea0ecfdeb7f64a6f5384","observation_id":"44302e36-cefa-4091-a241-4d2ab5d71851","resolution":{"observed_at":"2026-08-06T15:50:38.303230Z","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:50:38.311441Z","title":null,"venue":null,"work_id":"1ee588eb-f7b6-41d8-8750-411bd06adcbf","year":2025},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.967978Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:3f3e4346a45f021b3fb8b84d327127f42cf50661831d382d56a23e5f510c05e0","observation_id":"20ed2c28-203c-4ec4-8f42-c7b9330635a8","resolution":{"observed_at":"2026-08-06T15:50:38.315129Z","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":"2407.05013","last_updated":"2024-07-06T09:07:11Z","snapshot_observed_at":"2026-08-05T13:30:43.461797Z","submitted_at":"2024-07-06T09:07:11Z","title":"Progress or Regress? Self-Improvement Reversal in Post-training","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.05013","snapshot_observed_at":"2026-08-06T15:50:37.978213Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.978213Z"},"links":{"cited_paper":"/paper/2407.05013","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:17b5ba0b2b2a961a0406bd3db2243dfcd74e86c96eaeee98bb75f891c6730281","observation_id":"f789919d-ef23-4322-ae1e-da52ce545942","resolution":{"observed_at":"2026-08-06T15:50:37.978213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.14288","last_updated":"2023-10-22T22:57:00Z","snapshot_observed_at":"2026-07-06T15:31:41.985646Z","submitted_at":"2023-05-23T17:33:27Z","title":"LLM-powered Data Augmentation for Enhanced Cross-lingual Performance","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.14288","snapshot_observed_at":"2026-08-06T15:50:37.974914Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.974914Z"},"links":{"cited_paper":"/paper/2305.14288","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:bc43cc49c888b56913056bfc4f0ba95ae07ae7322d14d8d6d68fbaa01c67f1f2","observation_id":"87d275a4-3553-43c8-8cd0-c3529bc0387c","resolution":{"observed_at":"2026-08-06T15:50:37.974914Z","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:50:38.278206Z","title":null,"venue":null,"work_id":"b2fb896a-774c-4a2e-82c8-2b0e65dad784","year":2023},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.984778Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:fe8f1f23304a1ef91c159b36f1d4a4dc67205d82b41c1734eb4b461a7099c635","observation_id":"90d7fc23-d23f-480c-ab34-d279c5173976","resolution":{"observed_at":"2026-08-06T15:50:38.281482Z","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:50:38.289168Z","title":null,"venue":null,"work_id":"3953aa16-f908-4889-9f13-69d767e4c565","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.981819Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:8f4bb0d198f0d16a2e753d618eca49133961dde3c5af485b08da936f2e550840","observation_id":"5be9fc17-d3e2-435c-a0d1-26f2614cdb47","resolution":{"observed_at":"2026-08-06T15:50:38.292282Z","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:50:38.256400Z","title":null,"venue":null,"work_id":"eeb2e271-8bb3-435f-ad69-3c6650036b3a","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.990867Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:6e02dcb063c7a6df2c4070b66a412e76ddf0e0c69c88a503453f59d31226eb74","observation_id":"c44850a5-288a-4a8f-9f8d-25dafdd8698f","resolution":{"observed_at":"2026-08-06T15:50:38.259740Z","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:50:38.267291Z","title":null,"venue":null,"work_id":"17e55a2b-99ea-4a52-8af0-7268c322f1c7","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.987915Z"},"links":{"citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:9d2ce515ca12288a2ef6d91ca10889612cf28e0c0ee1d28e565bdbecd65ac117","observation_id":"b047017f-4416-4453-867a-78848dceafff","resolution":{"observed_at":"2026-08-06T15:50:38.270468Z","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":"2411.06549","last_updated":"2024-11-10T18:06:55Z","snapshot_observed_at":"2026-07-06T19:48:10.800324Z","submitted_at":"2024-11-10T18:06:55Z","title":"In-Context Learning for Preserving Patient Privacy: A Framework for Synthesizing Realistic Patient Portal Messages","version":1},"cited_work":{"arxiv_id":"2411.06549","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.06549","snapshot_observed_at":"2026-08-06T15:50:38.196467Z","title":"In-Context Learning for Preserving Patient Privacy: A Framework for Synthesizing Realistic Patient Portal Messages","venue":"cs.AI","work_id":"7487ee6e-ff0d-49e6-8caf-d70bfd46e657","year":2024},"citing_paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T15:50:37.861827Z"},"links":{"cited_paper":"/paper/2411.06549","citing_paper":"/paper/2507.15892"},"observation_digest":"sha256:3ba109c70892e7e3a3f4be086585d4b8139ee4107f0745111a0ef4b9102353ba","observation_id":"dfdadb5d-338e-4f29-89f1-5ada9603466f","resolution":{"observed_at":"2026-08-06T15:50:38.201956Z","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"}}],"paper":{"arxiv_id":"2507.15892","last_updated":"2025-07-20T13:41:02Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T02:48:10.598268Z","submitted_at":"2025-07-20T13:41:02Z","title":"StaAgent: An Agentic Framework for Testing Static Analyzers"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":48,"verified_exact":0,"verified_fuzzy":1},"total_outbound_references":50},"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 10 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:2507.15892."}