{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7ZQYK62E5HGOXJILN22M3M2RTB","short_pith_number":"pith:7ZQYK62E","schema_version":"1.0","canonical_sha256":"fe61857b44e9cceba50b6eb4cdb35198594feba9ff5eaed3497d020bc4a005fc","source":{"kind":"arxiv","id":"2608.04217","version":1},"attestation_state":"computed","paper":{"title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haipeng Cai, Yu Nong","submitted_at":"2026-08-04T20:37:21Z","abstract_excerpt":"Software vulnerabilities are persistent, but validating them remains difficult: a Proof-of-Vulnerability (PoV) requires a concrete input that triggers the vulnerable behavior, yet public triggering inputs are often unavailable for disclosed vulnerabilities. Existing techniques make different tradeoffs in effectiveness, scalability, cost, and controllability, leaving room for complementary designs. To complement them, we present POVGEN, a low-cost neuro-symbolic framework that makes PoV generation cost-effective via semantic focusing and LLM-guided constraint reasoning using open-weight models."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.04217","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-04T20:37:21Z","cross_cats_sorted":[],"title_canon_sha256":"bead331286c719c7f8f454c96b03387f5deeaa0c376a85df2c0b6b371c3ac675","abstract_canon_sha256":"7e66a653942e87ac85e277a6b58730c93eea7aa4e595bde8ecf762abb9a22f91"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-06T01:31:41.517722Z","signature_b64":"4cFKcZ4dyiXEHYR5E4WST1ZR6wK94u74xvOd1mlTwRprv5sihScLpS9/0XSMJTmpZ6IV73QeB8L8uLou11qWAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe61857b44e9cceba50b6eb4cdb35198594feba9ff5eaed3497d020bc4a005fc","last_reissued_at":"2026-08-06T01:31:41.516161Z","signature_status":"signed_v1","first_computed_at":"2026-08-06T01:31:41.516161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haipeng Cai, Yu Nong","submitted_at":"2026-08-04T20:37:21Z","abstract_excerpt":"Software vulnerabilities are persistent, but validating them remains difficult: a Proof-of-Vulnerability (PoV) requires a concrete input that triggers the vulnerable behavior, yet public triggering inputs are often unavailable for disclosed vulnerabilities. Existing techniques make different tradeoffs in effectiveness, scalability, cost, and controllability, leaving room for complementary designs. To complement them, we present POVGEN, a low-cost neuro-symbolic framework that makes PoV generation cost-effective via semantic focusing and LLM-guided constraint reasoning using open-weight models."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.04217","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2608.04217/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.04217","created_at":"2026-08-06T01:31:41.518097+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.04217v1","created_at":"2026-08-06T01:31:41.518097+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.04217","created_at":"2026-08-06T01:31:41.518097+00:00"},{"alias_kind":"pith_short_12","alias_value":"7ZQYK62E5HGO","created_at":"2026-08-06T01:31:41.518097+00:00"},{"alias_kind":"pith_short_16","alias_value":"7ZQYK62E5HGOXJIL","created_at":"2026-08-06T01:31:41.518097+00:00"},{"alias_kind":"pith_short_8","alias_value":"7ZQYK62E","created_at":"2026-08-06T01:31:41.518097+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB","json":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB.json","graph_json":"https://pith.science/api/pith-number/7ZQYK62E5HGOXJILN22M3M2RTB/graph.json","events_json":"https://pith.science/api/pith-number/7ZQYK62E5HGOXJILN22M3M2RTB/events.json","paper":"https://pith.science/paper/7ZQYK62E"},"agent_actions":{"view_html":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB","download_json":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB.json","view_paper":"https://pith.science/paper/7ZQYK62E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.04217&json=true","fetch_graph":"https://pith.science/api/pith-number/7ZQYK62E5HGOXJILN22M3M2RTB/graph.json","fetch_events":"https://pith.science/api/pith-number/7ZQYK62E5HGOXJILN22M3M2RTB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB/action/storage_attestation","attest_author":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB/action/author_attestation","sign_citation":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB/action/citation_signature","submit_replication":"https://pith.science/pith/7ZQYK62E5HGOXJILN22M3M2RTB/action/replication_record"}},"created_at":"2026-08-06T01:31:41.518097+00:00","updated_at":"2026-08-06T01:31:41.518097+00:00"}