{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3RTJ7EIQA6R5NSRIAY564DIH5Z","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420"},"schema_version":"1.0","source":{"id":"2607.09979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09979v1","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09979","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_12","alias_value":"3RTJ7EIQA6R5","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_16","alias_value":"3RTJ7EIQA6R5NSRI","created_at":"2026-07-14T00:18:45Z"},{"alias_kind":"pith_short_8","alias_value":"3RTJ7EIQ","created_at":"2026-07-14T00:18:45Z"}],"graph_snapshots":[{"event_id":"sha256:c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d","target":"graph","created_at":"2026-07-14T00:18:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.09979/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well large language models (LLMs) can adjudicate (classify as a real bug or a false alarm) static-analysis alerts. We use two mistake-mitigation methods: (1) a consistency check (CC) that runs the LLM multiple times and checks that the verdicts are consistent with each other, and (2) an LLM reasoning evaluation (LRE) step that runs the LLM multiple times and then asks the LLM to choose a verdict after evaluating the reason","authors_text":"David Svoboda, Lori Flynn, Ruben Martins, William Klieber","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title":"Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09979","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73","target":"record","created_at":"2026-07-14T00:18:45Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"76a5af2643a815d05a9781b9e39d532073158e141cddf3165e95f9aa1dc6a152","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-10T21:09:01Z","title_canon_sha256":"fb5e2cad08552abec09c53d83a05b4ce95a7eb0b3489c0ffc6e207d97ea6e420"},"schema_version":"1.0","source":{"id":"2607.09979","kind":"arxiv","version":1}},"canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc669f911007a3d6ca28063bee0d07ee66a1e4abb5065b5414c8565d100a7daf","first_computed_at":"2026-07-14T00:18:45.781444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-14T00:18:45.781444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wego1XcV1OKoOjHxgcHhtOGrEohV8Fe7Qw2Y1fSac8W0SLbNlfb6PzBI51+4EZsbzHgH1wSTSxk53MSgJR3VAA==","signature_status":"signed_v1","signed_at":"2026-07-14T00:18:45.782311Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.09979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90fb0e46bc907e4344649a33f39f916aece72ca055fe9615a60f555c6cfa2e73","sha256:c345cea1bff223b9b57be03522eede991a2349d523ca8a34ebbf6f7758f0741d"],"state_sha256":"c397414af960db60eddfaf4914d300d28aedfd6b992241971e23689ad2e1d598"}