{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:EBVFSQQO7DD45ZHXSZIM6YOF2Z","short_pith_number":"pith:EBVFSQQO","schema_version":"1.0","canonical_sha256":"206a59420ef8c7cee4f79650cf61c5d658167870f8da62408bbc361efb131d49","source":{"kind":"arxiv","id":"1811.06746","version":2},"attestation_state":"computed","paper":{"title":"nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Chih-Hong Cheng, Chung-Hao Huang, Georg N\\\"uhrenberg","submitted_at":"2018-11-16T10:48:07Z","abstract_excerpt":"Can engineering neural networks be approached in a disciplined way similar to how engineers build software for civil aircraft? We present nn-dependability-kit, an open-source toolbox to support safety engineering of neural networks for autonomous driving systems. The rationale behind nn-dependability-kit is to consider a structured approach (via Goal Structuring Notation) to argue the quality of neural networks. In particular, the tool realizes recent scientific results including (a) novel dependability metrics for indicating sufficient elimination of uncertainties in the product life cycle, ("},"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.06746","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-11-16T10:48:07Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"b29075492e501667e51a2fdbe890dadbcacf5007c33298c5895438cd8d34a978","abstract_canon_sha256":"90e663cfbaedbc68797049b7ce328a7fd82dafd7e4e6edb46e8eb51b1a4dafeb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:25.303660Z","signature_b64":"LeiUmeEdiQf2povyVdduehI3JtPSkdI2Jvh8VQZukF2HgeRVAYGG9Qh0e9NYHdVswwlOnkPGPmu2njf4m/YODA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"206a59420ef8c7cee4f79650cf61c5d658167870f8da62408bbc361efb131d49","last_reissued_at":"2026-05-17T23:39:25.303040Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:25.303040Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.LG","authors_text":"Chih-Hong Cheng, Chung-Hao Huang, Georg N\\\"uhrenberg","submitted_at":"2018-11-16T10:48:07Z","abstract_excerpt":"Can engineering neural networks be approached in a disciplined way similar to how engineers build software for civil aircraft? We present nn-dependability-kit, an open-source toolbox to support safety engineering of neural networks for autonomous driving systems. The rationale behind nn-dependability-kit is to consider a structured approach (via Goal Structuring Notation) to argue the quality of neural networks. In particular, the tool realizes recent scientific results including (a) novel dependability metrics for indicating sufficient elimination of uncertainties in the product life cycle, ("},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.06746","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":""},"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.06746","created_at":"2026-05-17T23:39:25.303131+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.06746v2","created_at":"2026-05-17T23:39:25.303131+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.06746","created_at":"2026-05-17T23:39:25.303131+00:00"},{"alias_kind":"pith_short_12","alias_value":"EBVFSQQO7DD4","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"EBVFSQQO7DD45ZHX","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"EBVFSQQO","created_at":"2026-05-18T12:32:22.470017+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/EBVFSQQO7DD45ZHXSZIM6YOF2Z","json":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z.json","graph_json":"https://pith.science/api/pith-number/EBVFSQQO7DD45ZHXSZIM6YOF2Z/graph.json","events_json":"https://pith.science/api/pith-number/EBVFSQQO7DD45ZHXSZIM6YOF2Z/events.json","paper":"https://pith.science/paper/EBVFSQQO"},"agent_actions":{"view_html":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z","download_json":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z.json","view_paper":"https://pith.science/paper/EBVFSQQO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.06746&json=true","fetch_graph":"https://pith.science/api/pith-number/EBVFSQQO7DD45ZHXSZIM6YOF2Z/graph.json","fetch_events":"https://pith.science/api/pith-number/EBVFSQQO7DD45ZHXSZIM6YOF2Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z/action/storage_attestation","attest_author":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z/action/author_attestation","sign_citation":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z/action/citation_signature","submit_replication":"https://pith.science/pith/EBVFSQQO7DD45ZHXSZIM6YOF2Z/action/replication_record"}},"created_at":"2026-05-17T23:39:25.303131+00:00","updated_at":"2026-05-17T23:39:25.303131+00:00"}