{"as_of":"2026-08-20T22:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ccb57a1dc8ddaa917b0e411893fc885c48931d74e9bb4a15f8aa00872d8dd6ca","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-14T01:18:31.914413Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.09979/citation-record","integrity":"/paper/2607.09979/integrity","json":"/paper/2607.09979/citation-record.json","paper":"/paper/2607.09979"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Assisting static analysis with large language models: A ChatGPT experiment","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:e2aedbfa32a00118bf347d448e1f9e3b35b13ab5102a7894250132d9014378f1","observation_id":"cb78edc4-9a90-489e-a178-15975786ffe9","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Trans","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:7180d54fab7e3c56a3b9127de5deb6dfd9264450d3cc49cab89cf0f1bc793488","observation_id":"ce3b5e1f-8679-4216-a152-fd68ae96e2b7","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Reducing false positives in static bug detection with LLMs: An empirical study in indus- try, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:53ef49de6301ffdcfdf468ac2cb06f131d5a593cfdd7c795620cfe208f0983cb","observation_id":"8ae05431-7d4e-47fd-8310-6d1931c28a12","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Common weakness enumeration (CWE)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:d97bd85a73b493ab7cdfea38f7e31d11720006593e707dbfe5724cdd48f7ba07","observation_id":"be0afe3f-b5e0-49ce-b7e7-3613d6974dba","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Static analysis alert audits: Lexicon & rules","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:30460861c0a2bfc9494317dc74db86878448cfa261aa355b60dc8b15d659677d","observation_id":"51966429-c632-4872-95f7-108fcef63777","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Twitter, Feb 9, 2026.https://x.com/ WishinElarion/status/2020766452782157950","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:8e6f23e79f03a1e3c2edf3852d795f6a5dffc8cee016dfe6f4e304cd28263b2b","observation_id":"d47e2428-a5ab-49b1-882a-a8f6faf242b0","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Twitter, Feb 10, 2026.https://x","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:daef5256926f35e32de12d8c20d62fda58cb63c92b06ddbbe6c8afcb9659d542","observation_id":"bf048435-7da4-454f-97c4-6600672d7ef3","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"car-wash-evals","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:a84bcbdb198ac7279e805310c22584b003db812d9da13224130fbe5a779a94e2","observation_id":"3cb63b8f-59bd-476f-a023-f61179db1f0e","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.17311","last_updated":"2023-11-29T02:07:09Z","snapshot_observed_at":"2026-08-16T16:45:56.159370Z","submitted_at":"2023-11-29T02:07:09Z","title":"Universal Self-Consistency for Large Language Model Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.17311","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Univer- sal self-consistency for large language model genera- tion, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2311.17311","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:56c1b409d35139e804d9a444f23ef0ffbf9fe5f054a0f974cbadb137e0667f3e","observation_id":"69baa8ec-aea6-43c0-8da1-454110fd823e","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Auditing multi-agent LLM reasoning trees outperforms majority vote and LLM-as-judge, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:d890a4f91aa5e131e5e41a832eddd111cb6f7b76da5df45ab091ea1183f1c85a","observation_id":"495be5f2-dac4-47fc-825b-0d78bb8a52c2","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.05685","last_updated":"2023-12-24T02:01:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-06-09T05:55:52Z","title":"Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.05685","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Xing, Hao Zhang, Joseph E","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2306.05685","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:e3d37462f40a4783b7b563cdcd91a0cb9089b5c39389d36e7dc579a5f47c391e","observation_id":"12f4fe47-634d-4dba-9901-402eeb11021b","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"A survey on LLM-as-a-Judge,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:4649494142152ba0e1e7ffec142459c1c0f1f66e8c530ecad6193cc0639c54c2","observation_id":"01b84f63-ec71-494b-96c3-381b852f11bb","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.15594","last_updated":"2025-10-19T10:32:43Z","snapshot_observed_at":"2026-08-20T12:52:29.141935Z","submitted_at":"2024-11-23T16:03:35Z","title":"A Survey on LLM-as-a-Judge","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.15594","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2411.15594","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:5d683164f20da9529acca6064965e848b6d0127851bb18854baec7e377ed0f7b","observation_id":"da70a5d2-331a-4b89-a976-945a8da7ef6e","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-08-16T01:49:22.176843Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Self-consistencyimproveschainofthought reasoning in language models, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:c9f426892d538fb2a8fac042392a8ba4a5e17d8aaa03bf5126cbf4f92480277c","observation_id":"75a9bbeb-de97-4289-9c28-93a7e43a6b45","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.13076","last_updated":"2024-04-15T16:49:59Z","snapshot_observed_at":"2026-08-18T02:44:37.072871Z","submitted_at":"2024-04-15T16:49:59Z","title":"LLM Evaluators Recognize and Favor Their Own Generations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.13076","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Bowman, and Shi Feng","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2404.13076","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:ecedf62aaaec3369038301b6f09e1a6c0c814a200007d30e1f18dd857dc0d77d","observation_id":"a867c62c-c34c-4039-b64c-6050286e24eb","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"AddressSanitizer and UndefinedBehav- iorSanitizer.https://clang.llvm.org/docs/, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:499577c2766cb8ee071318fd06dbdc63a4cf833d6b8e10926e2ab91c96eccc5e","observation_id":"eabaff7a-e85d-43fe-a794-bd4cc50b629b","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Juliet C/C++ test suite, software assurance reference dataset (SARD).https://samate.nist.gov/SARD/, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:0ac136b360e3e1cc59ab065d815a3cbe0f6bffc44f1e834f35e97ef93294e0ea","observation_id":"72d5cdbe-cf2e-4266-94e9-c9e5ac3e5aef","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Cordeiro, and Vasileios Mavroeidis","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:3dcd13df1a6f49b40903fc94e70fdb9d255b2365fb14859a19fe4011e8fbdefe","observation_id":"da6243ea-7158-4c69-bd82-1875ecbd30d0","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"Cordeiro","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:28ba669bbb7f7ee92706b78afa155056df45188da08297ac5608fa6f27d3ff0e","observation_id":"76413093-03dd-4069-bf12-1cbe478afbfb","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"SMT-based bounded model checking for embed- ded ANSI-C software.IEEE Transactions on Software Engineering, 38(4):957–974, 2012.doi:10.1109/TSE","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:0479540e8702d500d0709fc60e6e9e40d1ab89e4742849b8452eab59f7c89119","observation_id":"b4039d3e-59f3-4d28-b616-e21621b174ca","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"malformed_identifier"},"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-07-14T01:18:31.914413Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:e9c563c42f7cd4bdcf7c625ea4acfbff7843cac9d8483b8a9d4252cc845b1880","observation_id":"fdb15ddd-d54e-43ee-b424-3a1a4da00773","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"ESBMC v7.4: Harnessing the power of intervals: (competition contribution)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:e48daabd53dda6bae7bcc5d19f82b499865402ab0009768bdae711a7810dedbb","observation_id":"1ba29423-138d-4b06-8272-3630883d326b","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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":"10.1007/978-3-031-57256-2_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"State of the art in software verification and witness validation: SV-COMP 2024","venue":"Lecture notes in computer science","work_id":"ebb8b1d9-4a94-46f5-9efe-ed6d9031b276","year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:ba64e7ae7d49315a19f5960ce96566b0b39515443d8d3178c2e50a34668993bc","observation_id":"31fe408b-d6ea-4163-ab73-e21bcb0378dc","resolution":{"observed_at":"2026-07-14T01:20:11.144310Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-16T20:21:32.915748+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-16T20:21:32.915748+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"The security risk of lacking compiler protec- tion in WebAssembly","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:b459f69bac399a0e1571a654569ce638ed44097bfd1923fe9922575238109153","observation_id":"89ba8868-c3f7-4811-aceb-4d85a061a0c2","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00245","last_updated":"2023-11-15T21:02:47Z","snapshot_observed_at":"2026-08-19T17:09:01.449036Z","submitted_at":"2023-08-01T02:57:43Z","title":"The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00245","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"The hitchhiker’s guide to program analysis: A jour- ney with large language models, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2308.00245","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:5093544a6f3a3d254ac075a8f33f62e8751e1c471fd502d8249305eb25c6eaf8","observation_id":"9ac07b5f-9c27-43b2-b0fa-df68572992c9","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"En- hancing static analysis for practical bug detection: An LLM-integrated approach.Proc","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:430014fade1a324b53b336485b807e42bc804c9705eb8200c5d970315c7f672d","observation_id":"7ab14729-1b41-413b-b44c-1961bf080ccb","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.11711","last_updated":"2025-05-31T06:47:58Z","snapshot_observed_at":"2026-08-16T12:40:39.027062Z","submitted_at":"2025-04-16T02:17:06Z","title":"The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.11711","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"The hitchhiker’s guide to program analysis, part II: Deep thoughts by LLMs, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2504.11711","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:43b5bc0707f51b3e7f5ea0d7fab734ac8848e4f3678200a6e34f7e9691681706","observation_id":"51c3b413-c6d4-437c-b427-692555b10111","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","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-07-14T01:18:31.914413Z","title":"ZeroFalse: Improving preci- sion in static analysis with LLMs, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:74095e1b5e57048a868f11469a8c96d88726e86c8f506d5763c6dac5660f52d6","observation_id":"13aa6655-14c2-4a3e-bd97-26a11e299240","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.16899","last_updated":"2025-07-13T11:10:27Z","snapshot_observed_at":"2026-08-20T13:46:48.611499Z","submitted_at":"2025-06-20T10:46:35Z","title":"Towards Effective Complementary Security Analysis using Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.16899","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Towards effective comple- mentary security analysis using large language mod- els, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2506.16899","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:f43799e78515edf4d4965af81ae0da10ac649e2f211343cacb4c2cc0237f7919","observation_id":"80e54d5b-d432-4bb8-890c-09fe48f818ff","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.10322","last_updated":"2025-06-12T03:11:38Z","snapshot_observed_at":"2026-08-15T10:19:15.077712Z","submitted_at":"2025-06-12T03:11:38Z","title":"Minimizing False Positives in Static Bug Detection via LLM-Enhanced Path Feasibility Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.10322","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Minimizing false positives in static bug detection via LLM-enhanced path feasibility analy- sis, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2506.10322","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:2d4f5cad333c9cb8cbab8293a4492a0af828f9ede6ba00c138c972f371e9422e","observation_id":"757ff7a8-10b9-4d80-b84b-b6c5d6728723","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.03079","last_updated":"2025-05-31T15:52:17Z","snapshot_observed_at":"2026-08-16T13:02:46.700322Z","submitted_at":"2024-11-05T13:24:56Z","title":"Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.03079","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Utilizing precise and complete code contexttoguideLLMinautomaticfalsepositivemitiga- tion, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2411.03079","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:f3142fe12cdf63b70208f90ca618dc55a96cf33c80ba853745b231300ae86100","observation_id":"08250964-79d7-4cb4-a0ef-e6310b0e73aa","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.17238","last_updated":"2025-04-06T23:46:59Z","snapshot_observed_at":"2026-08-20T09:56:24.907809Z","submitted_at":"2024-05-27T14:53:35Z","title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.17238","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"IRIS: LLM- assistedstaticanalysisfordetectingsecurityvulnerabili- ties, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2405.17238","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:4afb754bee3e009190b50d393c7b5545d91b87a150f3f90ea587f65265c597e1","observation_id":"8fce2182-3477-4774-8ea9-091eba846627","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.11787","last_updated":"2026-04-13T11:44:21Z","snapshot_observed_at":"2026-08-12T13:44:00.503613Z","submitted_at":"2025-09-15T11:16:04Z","title":"CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.11787","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Code- CureAgent: Automatic classification and repair of static analysis warnings, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2509.11787","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:4633306c4681fc73f3062292b0220c3f1b0409a20b84b9e5690590837d224dfd","observation_id":"33f2b23a-ab86-4c11-9342-34998091ca1d","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04870","last_updated":"2024-04-25T01:16:21Z","snapshot_observed_at":"2026-08-16T14:54:13.331008Z","submitted_at":"2023-10-07T16:44:53Z","title":"Lemur: Integrating Large Language Models in Automated Program Verification","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04870","snapshot_observed_at":"2026-07-14T01:18:31.914413Z","title":"Lemur: Integratinglargelanguagemodelsinautomated program verification, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-14T01:18:31.914413Z"},"links":{"cited_paper":"/paper/2310.04870","citing_paper":"/paper/2607.09979"},"observation_digest":"sha256:c4d89cb367d4d1ea476adfcb3010a8174089681e456e8671267ae8f66deb375b","observation_id":"69059d6e-8f4e-4388-84be-119fac560350","resolution":{"observed_at":"2026-07-14T01:18:31.914413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.09979","last_updated":"2026-07-10T21:09:01Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-16T10:23:30.372116Z","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":32,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2607.09979."}