{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:BMHXWJIUHU4C5FY2H2LSNPTKLU","short_pith_number":"pith:BMHXWJIU","schema_version":"1.0","canonical_sha256":"0b0f7b25143d382e971a3e9726be6a5d2f8ea872f2bb818ab72babf6d712d1d3","source":{"kind":"arxiv","id":"1808.00924","version":2},"attestation_state":"computed","paper":{"title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.RO"],"primary_cat":"cs.SY","authors_text":"Andreas Krause, Felix Berkenkamp, Spencer M. Richards","submitted_at":"2018-08-02T17:20:04Z","abstract_excerpt":"Learning algorithms have shown considerable prowess in simulation by allowing robots to adapt to uncertain environments and improve their performance. However, such algorithms are rarely used in practice on safety-critical systems, since the learned policy typically does not yield any safety guarantees. That is, the required exploration may cause physical harm to the robot or its environment. In this paper, we present a method to learn accurate safety certificates for nonlinear, closed-loop dynamical systems. Specifically, we construct a neural network Lyapunov function and a training algorith"},"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":"1808.00924","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T17:20:04Z","cross_cats_sorted":["cs.LG","cs.RO"],"title_canon_sha256":"c399596bcbb2b7242ebe4073410bf72b61b2f193850261c346a1c6feffb657c5","abstract_canon_sha256":"552190e7245324110d79a88bb44fb1fe1b692f8d9e178e52a68382763453a894"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:29.471790Z","signature_b64":"k7BMpQPb8S+y2RFyFuQpXAwNUedph6WHl13RpRcvVW/0BdDkum35pwWYzT5TIK32g8tWxVThdjzOT+ZpR932AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b0f7b25143d382e971a3e9726be6a5d2f8ea872f2bb818ab72babf6d712d1d3","last_reissued_at":"2026-05-18T00:04:29.471264Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:29.471264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.RO"],"primary_cat":"cs.SY","authors_text":"Andreas Krause, Felix Berkenkamp, Spencer M. Richards","submitted_at":"2018-08-02T17:20:04Z","abstract_excerpt":"Learning algorithms have shown considerable prowess in simulation by allowing robots to adapt to uncertain environments and improve their performance. However, such algorithms are rarely used in practice on safety-critical systems, since the learned policy typically does not yield any safety guarantees. That is, the required exploration may cause physical harm to the robot or its environment. In this paper, we present a method to learn accurate safety certificates for nonlinear, closed-loop dynamical systems. Specifically, we construct a neural network Lyapunov function and a training algorith"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00924","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":"1808.00924","created_at":"2026-05-18T00:04:29.471371+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.00924v2","created_at":"2026-05-18T00:04:29.471371+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00924","created_at":"2026-05-18T00:04:29.471371+00:00"},{"alias_kind":"pith_short_12","alias_value":"BMHXWJIUHU4C","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"BMHXWJIUHU4C5FY2","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"BMHXWJIU","created_at":"2026-05-18T12:32:16.446611+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/BMHXWJIUHU4C5FY2H2LSNPTKLU","json":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU.json","graph_json":"https://pith.science/api/pith-number/BMHXWJIUHU4C5FY2H2LSNPTKLU/graph.json","events_json":"https://pith.science/api/pith-number/BMHXWJIUHU4C5FY2H2LSNPTKLU/events.json","paper":"https://pith.science/paper/BMHXWJIU"},"agent_actions":{"view_html":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU","download_json":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU.json","view_paper":"https://pith.science/paper/BMHXWJIU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.00924&json=true","fetch_graph":"https://pith.science/api/pith-number/BMHXWJIUHU4C5FY2H2LSNPTKLU/graph.json","fetch_events":"https://pith.science/api/pith-number/BMHXWJIUHU4C5FY2H2LSNPTKLU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU/action/storage_attestation","attest_author":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU/action/author_attestation","sign_citation":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU/action/citation_signature","submit_replication":"https://pith.science/pith/BMHXWJIUHU4C5FY2H2LSNPTKLU/action/replication_record"}},"created_at":"2026-05-18T00:04:29.471371+00:00","updated_at":"2026-05-18T00:04:29.471371+00:00"}