{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CEEPKL22HBIZ6QR3AQBGNRXRTL","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":"8b6338702a8684ea70eaaabe016fb1ce1e708af2970984f6f2e9cbbdcbf77be6","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-06-17T14:56:04Z","title_canon_sha256":"639f366ec68c520baf830865dd4cf8352e9cecdee32ac37422e751ab52e1db16"},"schema_version":"1.0","source":{"id":"2606.19149","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19149","created_at":"2026-06-19T16:12:58Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19149v2","created_at":"2026-06-19T16:12:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19149","created_at":"2026-06-19T16:12:58Z"},{"alias_kind":"pith_short_12","alias_value":"CEEPKL22HBIZ","created_at":"2026-06-19T16:12:58Z"},{"alias_kind":"pith_short_16","alias_value":"CEEPKL22HBIZ6QR3","created_at":"2026-06-19T16:12:58Z"},{"alias_kind":"pith_short_8","alias_value":"CEEPKL22","created_at":"2026-06-19T16:12:58Z"}],"graph_snapshots":[{"event_id":"sha256:26629dc25fdb27f84bbd6d865fed5f57df62c81efbce8b0b9cbb4b27a1626f6b","target":"graph","created_at":"2026-06-19T16:12:58Z","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/2606.19149/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated vulnerability discovery in large codebases remains challenging: traditional static analysis produces high false-positive rates, while dynamic approaches such as fuzzing require substantial infrastructure and often target narrow classes of bugs. Recent advances in large language models (LLMs) enable semantic reasoning about program behavior, but applying LLMs to repository-scale security analysis introduces challenges related to context management, cost, and verification.\n  We present OpenAnt, an open-source vulnerability discovery system that integrates static program analysis with L","authors_text":"Gadi Evron, Nahum Korda","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-06-17T14:56:04Z","title":"OpenAnt: LLM-Powered Vulnerability Discovery Through Code Decomposition, Adversarial Verification, and Dynamic Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19149","kind":"arxiv","version":2},"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:a4ad9e4bb0a963733ae8fada3f1b260f995fa3db4f589eb13f77d85c42d45b5c","target":"record","created_at":"2026-06-19T16:12:58Z","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":"8b6338702a8684ea70eaaabe016fb1ce1e708af2970984f6f2e9cbbdcbf77be6","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-06-17T14:56:04Z","title_canon_sha256":"639f366ec68c520baf830865dd4cf8352e9cecdee32ac37422e751ab52e1db16"},"schema_version":"1.0","source":{"id":"2606.19149","kind":"arxiv","version":2}},"canonical_sha256":"1108f52f5a38519f423b040266c6f19af8d000f34a403eb4b47c647530af86ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1108f52f5a38519f423b040266c6f19af8d000f34a403eb4b47c647530af86ac","first_computed_at":"2026-06-19T16:12:58.527809Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:12:58.527809Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/RNjym0Rp8pJeWjzJz9uYH5hQYqB7u67vAjeFOgc2K500JW3HAokkQlXvU5VYvUmoGjKdW35hLjDJCJ3ZdwsAA==","signature_status":"signed_v1","signed_at":"2026-06-19T16:12:58.528223Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.19149","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4ad9e4bb0a963733ae8fada3f1b260f995fa3db4f589eb13f77d85c42d45b5c","sha256:26629dc25fdb27f84bbd6d865fed5f57df62c81efbce8b0b9cbb4b27a1626f6b"],"state_sha256":"89fd7a43386c192ab761a40ba74897c1d8a88edd656147d70497b89914729b56"}