{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:PW3AZJSHFWLUUAOMLRB6QILEWJ","short_pith_number":"pith:PW3AZJSH","schema_version":"1.0","canonical_sha256":"7db60ca6472d974a01cc5c43e82164b27b399e94154adbdef690ddd0e36cc92c","source":{"kind":"arxiv","id":"1811.03752","version":1},"attestation_state":"computed","paper":{"title":"DeepSaucer: Unified Environment for Verifying Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Hideto Ogawa, Hironobu Kuruma, Masanori Kaneko, Michael Butler, Naoto Sato, Thai Son Hoang, Yuichiroh Nakagawa","submitted_at":"2018-11-09T03:09:28Z","abstract_excerpt":"In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their envi"},"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":"1811.03752","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-11-09T03:09:28Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"031ef5131a5a66ef6df918fd90058b117102da0f0def585dbfd025904b3a7321","abstract_canon_sha256":"7220fd6aeb5aaf0de38865a0ad1d1815b9dfdd4609e4591cd33df3075831b97e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:12.124236Z","signature_b64":"Wp8vCIu8MIp4KzHpi1p/5mISdi3mUrt8lL1NJRCCU8Ey7Ik4bO4o7pCPJ6+MahBU0otEVZlI9OLKc89osg3eAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7db60ca6472d974a01cc5c43e82164b27b399e94154adbdef690ddd0e36cc92c","last_reissued_at":"2026-05-18T00:01:12.123594Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:12.123594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DeepSaucer: Unified Environment for Verifying Deep Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Hideto Ogawa, Hironobu Kuruma, Masanori Kaneko, Michael Butler, Naoto Sato, Thai Son Hoang, Yuichiroh Nakagawa","submitted_at":"2018-11-09T03:09:28Z","abstract_excerpt":"In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their envi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.03752","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":""},"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":"1811.03752","created_at":"2026-05-18T00:01:12.123676+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.03752v1","created_at":"2026-05-18T00:01:12.123676+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.03752","created_at":"2026-05-18T00:01:12.123676+00:00"},{"alias_kind":"pith_short_12","alias_value":"PW3AZJSHFWLU","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"PW3AZJSHFWLUUAOM","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"PW3AZJSH","created_at":"2026-05-18T12:32:46.962924+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/PW3AZJSHFWLUUAOMLRB6QILEWJ","json":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ.json","graph_json":"https://pith.science/api/pith-number/PW3AZJSHFWLUUAOMLRB6QILEWJ/graph.json","events_json":"https://pith.science/api/pith-number/PW3AZJSHFWLUUAOMLRB6QILEWJ/events.json","paper":"https://pith.science/paper/PW3AZJSH"},"agent_actions":{"view_html":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ","download_json":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ.json","view_paper":"https://pith.science/paper/PW3AZJSH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.03752&json=true","fetch_graph":"https://pith.science/api/pith-number/PW3AZJSHFWLUUAOMLRB6QILEWJ/graph.json","fetch_events":"https://pith.science/api/pith-number/PW3AZJSHFWLUUAOMLRB6QILEWJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ/action/storage_attestation","attest_author":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ/action/author_attestation","sign_citation":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ/action/citation_signature","submit_replication":"https://pith.science/pith/PW3AZJSHFWLUUAOMLRB6QILEWJ/action/replication_record"}},"created_at":"2026-05-18T00:01:12.123676+00:00","updated_at":"2026-05-18T00:01:12.123676+00:00"}