{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:P5PLOO27ZCKELBS7V6IMYDCE2S","short_pith_number":"pith:P5PLOO27","schema_version":"1.0","canonical_sha256":"7f5eb73b5fc89445865faf90cc0c44d4b39078000808c350fe4b7a7d08fc29de","source":{"kind":"arxiv","id":"2208.01508","version":2},"attestation_state":"computed","paper":{"title":"COMET: Coverage-guided Model Generation For Deep Learning Library Testing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung, Tsz On Li, Yongqiang Tian","submitted_at":"2022-08-02T14:53:02Z","abstract_excerpt":"Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications. Techniques have been proposed to generate various DL models and apply them to test these libraries. However, their test effectiveness is constrained by the diversity of layer API calls in their generated DL models. Our study reveals that these techniques can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. As a result, we find that many bugs arising from specific layer API "},"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":"2208.01508","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-02T14:53:02Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1bce2e1197e203b04beae217801e2b1376ac7d70460660b38230c21b6d907be0","abstract_canon_sha256":"7c3cad52136435e3d22f84da1b63cbc32c903d00e32ac91da280ebb8a2ee0a3e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:31:02.056121Z","signature_b64":"bT6edYUu6fJUyv9S4a3lP6G0yV8/NMffEdchZq+SSw2cNRIDlYXhLR/pSHy9wXhamKVO8SuWm/J0c8RD5T3PCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f5eb73b5fc89445865faf90cc0c44d4b39078000808c350fe4b7a7d08fc29de","last_reissued_at":"2026-07-05T08:31:02.055638Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:31:02.055638Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"COMET: Coverage-guided Model Generation For Deep Learning Library Testing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung, Tsz On Li, Yongqiang Tian","submitted_at":"2022-08-02T14:53:02Z","abstract_excerpt":"Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications. Techniques have been proposed to generate various DL models and apply them to test these libraries. However, their test effectiveness is constrained by the diversity of layer API calls in their generated DL models. Our study reveals that these techniques can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. As a result, we find that many bugs arising from specific layer API "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.01508","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/2208.01508/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":"2208.01508","created_at":"2026-07-05T08:31:02.055701+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.01508v2","created_at":"2026-07-05T08:31:02.055701+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.01508","created_at":"2026-07-05T08:31:02.055701+00:00"},{"alias_kind":"pith_short_12","alias_value":"P5PLOO27ZCKE","created_at":"2026-07-05T08:31:02.055701+00:00"},{"alias_kind":"pith_short_16","alias_value":"P5PLOO27ZCKELBS7","created_at":"2026-07-05T08:31:02.055701+00:00"},{"alias_kind":"pith_short_8","alias_value":"P5PLOO27","created_at":"2026-07-05T08:31:02.055701+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/P5PLOO27ZCKELBS7V6IMYDCE2S","json":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S.json","graph_json":"https://pith.science/api/pith-number/P5PLOO27ZCKELBS7V6IMYDCE2S/graph.json","events_json":"https://pith.science/api/pith-number/P5PLOO27ZCKELBS7V6IMYDCE2S/events.json","paper":"https://pith.science/paper/P5PLOO27"},"agent_actions":{"view_html":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S","download_json":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S.json","view_paper":"https://pith.science/paper/P5PLOO27","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.01508&json=true","fetch_graph":"https://pith.science/api/pith-number/P5PLOO27ZCKELBS7V6IMYDCE2S/graph.json","fetch_events":"https://pith.science/api/pith-number/P5PLOO27ZCKELBS7V6IMYDCE2S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S/action/storage_attestation","attest_author":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S/action/author_attestation","sign_citation":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S/action/citation_signature","submit_replication":"https://pith.science/pith/P5PLOO27ZCKELBS7V6IMYDCE2S/action/replication_record"}},"created_at":"2026-07-05T08:31:02.055701+00:00","updated_at":"2026-07-05T08:31:02.055701+00:00"}