{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZLDZNJDAOAASV4ILBGCSA3VBPC","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6def191948cce3cf4b5b0df6d12fb8fe9d523c07a96bfe7d55b338c8bb0549ef","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-18T07:17:15Z","title_canon_sha256":"02e36dd05a4e63fb9368572e3b44f17d3fa7d61ebb65092dbae5cef5157af5f5"},"schema_version":"1.0","source":{"id":"1805.07075","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.07075","created_at":"2026-05-18T00:15:41Z"},{"alias_kind":"arxiv_version","alias_value":"1805.07075v1","created_at":"2026-05-18T00:15:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.07075","created_at":"2026-05-18T00:15:41Z"},{"alias_kind":"pith_short_12","alias_value":"ZLDZNJDAOAAS","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZLDZNJDAOAASV4IL","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZLDZNJDA","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:9af6a02ddfffc63aa1fc5dc7403cfc903d3453f6b60caa0fafed0fa6f91610e5","target":"graph","created_at":"2026-05-18T00:15:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We propose Trusted Neural Network (TNN) models, which are deep neural network models that satisfy safety constraints critical to the application domain. We investigate different mechanisms for incorporating rule-based knowledge in the form of first-order logic constraints into a TNN model, where rules that encode safety are accompanied by weights indicating their relative importance. This framework allows the TNN model to learn from knowledge available in form of data as well as logical rules. We propose multiple approaches for solving this problem: (a) a multi-headed model structure that allo","authors_text":"Amaury Mercier, Dheeraj Pichapati, Patrick Lincoln, Shalini Ghosh, Susmit Jha, Vinod Yegneswaran","cross_cats":["cs.AI","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-18T07:17:15Z","title":"Trusted Neural Networks for Safety-Constrained Autonomous Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.07075","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c62fbb800f4784dee3df488ed25ed182d3808b1f84140ac1953c94ff188699e9","target":"record","created_at":"2026-05-18T00:15:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6def191948cce3cf4b5b0df6d12fb8fe9d523c07a96bfe7d55b338c8bb0549ef","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-18T07:17:15Z","title_canon_sha256":"02e36dd05a4e63fb9368572e3b44f17d3fa7d61ebb65092dbae5cef5157af5f5"},"schema_version":"1.0","source":{"id":"1805.07075","kind":"arxiv","version":1}},"canonical_sha256":"cac796a46070012af10b0985206ea17890d99d986fdb5027ed748f2601a98608","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cac796a46070012af10b0985206ea17890d99d986fdb5027ed748f2601a98608","first_computed_at":"2026-05-18T00:15:41.132795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:41.132795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ww8RrlPVfdiGXEYUrQlVhyIBoW0rSxm0UE6rOsYkfJRuHgEovHBK/TXUvsdg+wAyoG/8TrZ3WYHvo8NaXPp4AA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:41.133437Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.07075","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c62fbb800f4784dee3df488ed25ed182d3808b1f84140ac1953c94ff188699e9","sha256:9af6a02ddfffc63aa1fc5dc7403cfc903d3453f6b60caa0fafed0fa6f91610e5"],"state_sha256":"c400a3617407c81b27f266714c1496232e6d634af72aac022e4a4c3cb3827892"}