{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:25MFIZEAATASCYFTNRQF7PISB7","short_pith_number":"pith:25MFIZEA","schema_version":"1.0","canonical_sha256":"d75854648004c12160b36c605fbd120fca19402ab1614592a138ecff01f43afd","source":{"kind":"arxiv","id":"2305.17914","version":2},"attestation_state":"computed","paper":{"title":"ACETest: Automated Constraint Extraction for Testing Deep Learning Operators","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Chendong Yu, Dongsong Yu, Hui Su, Jingyi Shi, Wei Huo, Yang Xiao, Yeting Li, Yuekang Li, Yufeng Chen","submitted_at":"2023-05-29T06:49:40Z","abstract_excerpt":"Deep learning (DL) applications are prevalent nowadays as they can help with multiple tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are the important building blocks of the DL libraries, that compute the multi-dimensional data (tensors). Therefore, bugs in DL operators can have great impacts. Testing is a practical approach for detecting bugs in DL operators. In order to test DL operators effectively, it is essential that the test cases pass the input validity check and are able to reach the core function logic of the operators. Hence, extracting the"},"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":"2305.17914","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-05-29T06:49:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"ce0d08056b62a9533fb3c901d4018ed5b09e67187df57c4068be4a85548d7dde","abstract_canon_sha256":"a1ed480db1e483a1918b67bb06b512f66bcd0a2476e3a4c743d28605d08e0469"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:17:08.035901Z","signature_b64":"6WkGxNcnvhEMsIwVBQebO8tg/rR4WZIHFufU8tctOpdAGG/sNydNDMUtJaardkUGVptL+NnRctNxzKADfBp5DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d75854648004c12160b36c605fbd120fca19402ab1614592a138ecff01f43afd","last_reissued_at":"2026-07-05T06:17:08.035558Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:17:08.035558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ACETest: Automated Constraint Extraction for Testing Deep Learning Operators","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Chendong Yu, Dongsong Yu, Hui Su, Jingyi Shi, Wei Huo, Yang Xiao, Yeting Li, Yuekang Li, Yufeng Chen","submitted_at":"2023-05-29T06:49:40Z","abstract_excerpt":"Deep learning (DL) applications are prevalent nowadays as they can help with multiple tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are the important building blocks of the DL libraries, that compute the multi-dimensional data (tensors). Therefore, bugs in DL operators can have great impacts. Testing is a practical approach for detecting bugs in DL operators. In order to test DL operators effectively, it is essential that the test cases pass the input validity check and are able to reach the core function logic of the operators. Hence, extracting the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.17914","kind":"arxiv","version":2},"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/2305.17914/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":"2305.17914","created_at":"2026-07-05T06:17:08.035615+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.17914v2","created_at":"2026-07-05T06:17:08.035615+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.17914","created_at":"2026-07-05T06:17:08.035615+00:00"},{"alias_kind":"pith_short_12","alias_value":"25MFIZEAATAS","created_at":"2026-07-05T06:17:08.035615+00:00"},{"alias_kind":"pith_short_16","alias_value":"25MFIZEAATASCYFT","created_at":"2026-07-05T06:17:08.035615+00:00"},{"alias_kind":"pith_short_8","alias_value":"25MFIZEA","created_at":"2026-07-05T06:17:08.035615+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/25MFIZEAATASCYFTNRQF7PISB7","json":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7.json","graph_json":"https://pith.science/api/pith-number/25MFIZEAATASCYFTNRQF7PISB7/graph.json","events_json":"https://pith.science/api/pith-number/25MFIZEAATASCYFTNRQF7PISB7/events.json","paper":"https://pith.science/paper/25MFIZEA"},"agent_actions":{"view_html":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7","download_json":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7.json","view_paper":"https://pith.science/paper/25MFIZEA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.17914&json=true","fetch_graph":"https://pith.science/api/pith-number/25MFIZEAATASCYFTNRQF7PISB7/graph.json","fetch_events":"https://pith.science/api/pith-number/25MFIZEAATASCYFTNRQF7PISB7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7/action/storage_attestation","attest_author":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7/action/author_attestation","sign_citation":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7/action/citation_signature","submit_replication":"https://pith.science/pith/25MFIZEAATASCYFTNRQF7PISB7/action/replication_record"}},"created_at":"2026-07-05T06:17:08.035615+00:00","updated_at":"2026-07-05T06:17:08.035615+00:00"}