{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7MWLFDAGO4LJ62KWQHS4D4464N","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":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f"},"schema_version":"1.0","source":{"id":"1502.04013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04013v1","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"pith_short_12","alias_value":"7MWLFDAGO4LJ","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7MWLFDAGO4LJ62KW","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7MWLFDAG","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f","target":"graph","created_at":"2026-05-18T02:27:06Z","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 introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose discontinuity is responsible for undecidability in CPS analysis, intractability in CPS design, and frailness in CPS implementation, with their smooth, neural nif and nwhile counterparts. This not only makes CPS analysis decidable and CPS design tractable, but also allows to write robust and adaptive CPS code. In DNP the connection between the sigmoidal guards of the nif and nwhile statements has to be given as a Gau","authors_text":"Denise Ratasich, Ezio Bartocci, Konstantin Selyunin, Radu Grosu","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title":"Deep Neural Programs for Adaptive Control in Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04013","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:ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b","target":"record","created_at":"2026-05-18T02:27:06Z","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":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f"},"schema_version":"1.0","source":{"id":"1502.04013","kind":"arxiv","version":1}},"canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","first_computed_at":"2026-05-18T02:27:06.730109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:06.730109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2GiEnUulYX6FEQFXzGMu8Fu6+PFLfcCvoVllDkv0CQsmUnh2MfVBqBFOxQNJBvxoGLoUGPH9Vwpn0ki3BvS9DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:06.730839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.04013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b","sha256:78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f"],"state_sha256":"59e7e2c6a633e76ea97d22ed44fcc53a80de79b7279671d338d075412b0d850c"}