{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:MPJ77N5ZDMJPWYG3OPRDJMEC2M","short_pith_number":"pith:MPJ77N5Z","schema_version":"1.0","canonical_sha256":"63d3ffb7b91b12fb60db73e234b082d32f559d2aaaeb2c95265d65e0ca4ea1a6","source":{"kind":"arxiv","id":"2406.01219","version":1},"attestation_state":"computed","paper":{"title":"Constraint-based Adversarial Example Synthesis","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Fang Yu, Ya-Yu Chi, Yu-Fang Chen","submitted_at":"2024-06-03T11:35:26Z","abstract_excerpt":"In the era of rapid advancements in artificial intelligence (AI), neural network models have achieved notable breakthroughs. However, concerns arise regarding their vulnerability to adversarial attacks. This study focuses on enhancing Concolic Testing, a specialized technique for testing Python programs implementing neural networks. The extended tool, PyCT, now accommodates a broader range of neural network operations, including floating-point and activation function computations. By systematically generating prediction path constraints, the research facilitates the identification of potential"},"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":"2406.01219","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2024-06-03T11:35:26Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"77201877e8d78b163fa973b3332ee7ce4de7b8e706ca5ee81d1b0fe80865816c","abstract_canon_sha256":"0b2d31dac7b61781e8b9296a6f13a7818bc2525761656c74a28d7362b91a9ad2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:26:37.004985Z","signature_b64":"3zCh6lBPL2PHlA30C3PgFrpdeGFxeDUcGyqpwsljal/7WTMQg4GuD28bLG1wGtIe3YveeuX9+M3APpt0dGO4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63d3ffb7b91b12fb60db73e234b082d32f559d2aaaeb2c95265d65e0ca4ea1a6","last_reissued_at":"2026-07-05T08:26:37.004511Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:26:37.004511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constraint-based Adversarial Example Synthesis","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Fang Yu, Ya-Yu Chi, Yu-Fang Chen","submitted_at":"2024-06-03T11:35:26Z","abstract_excerpt":"In the era of rapid advancements in artificial intelligence (AI), neural network models have achieved notable breakthroughs. However, concerns arise regarding their vulnerability to adversarial attacks. This study focuses on enhancing Concolic Testing, a specialized technique for testing Python programs implementing neural networks. The extended tool, PyCT, now accommodates a broader range of neural network operations, including floating-point and activation function computations. By systematically generating prediction path constraints, the research facilitates the identification of potential"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.01219","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/2406.01219/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":"2406.01219","created_at":"2026-07-05T08:26:37.004568+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.01219v1","created_at":"2026-07-05T08:26:37.004568+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.01219","created_at":"2026-07-05T08:26:37.004568+00:00"},{"alias_kind":"pith_short_12","alias_value":"MPJ77N5ZDMJP","created_at":"2026-07-05T08:26:37.004568+00:00"},{"alias_kind":"pith_short_16","alias_value":"MPJ77N5ZDMJPWYG3","created_at":"2026-07-05T08:26:37.004568+00:00"},{"alias_kind":"pith_short_8","alias_value":"MPJ77N5Z","created_at":"2026-07-05T08:26:37.004568+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2509.06864","citing_title":"Concolic Testing on Individual Fairness of Neural Network Models","ref_index":14,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M","json":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M.json","graph_json":"https://pith.science/api/pith-number/MPJ77N5ZDMJPWYG3OPRDJMEC2M/graph.json","events_json":"https://pith.science/api/pith-number/MPJ77N5ZDMJPWYG3OPRDJMEC2M/events.json","paper":"https://pith.science/paper/MPJ77N5Z"},"agent_actions":{"view_html":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M","download_json":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M.json","view_paper":"https://pith.science/paper/MPJ77N5Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.01219&json=true","fetch_graph":"https://pith.science/api/pith-number/MPJ77N5ZDMJPWYG3OPRDJMEC2M/graph.json","fetch_events":"https://pith.science/api/pith-number/MPJ77N5ZDMJPWYG3OPRDJMEC2M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M/action/storage_attestation","attest_author":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M/action/author_attestation","sign_citation":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M/action/citation_signature","submit_replication":"https://pith.science/pith/MPJ77N5ZDMJPWYG3OPRDJMEC2M/action/replication_record"}},"created_at":"2026-07-05T08:26:37.004568+00:00","updated_at":"2026-07-05T08:26:37.004568+00:00"}