{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JF6HLM35SPSHGYY6AAXIMXTVA4","short_pith_number":"pith:JF6HLM35","schema_version":"1.0","canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","source":{"kind":"arxiv","id":"2312.09131","version":4},"attestation_state":"computed","paper":{"title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng","submitted_at":"2023-12-14T17:01:58Z","abstract_excerpt":"We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE) and use this for training neural network Lyapunov functions. We analyze the analytical properties of the solutions to the Lyapunov and Zubov PDEs. In particular, we show that employing the Zubov equation in training neural Lyapunov functions can lead to approximate regions of attraction close to the true domain of attraction. We also examine approximation errors and the convergence of neural approximations to the u"},"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":"2312.09131","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-14T17:01:58Z","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"title_canon_sha256":"106e546a9c179db36ea9a1449a9c0f7f04063913f3408507c8c34d3d4dc408f2","abstract_canon_sha256":"e608f19ed96c36947ea2224c448daf3dd669273eceeb5302ee1b9e275ed28cb2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:14:46.307646Z","signature_b64":"xMaoQitbJcamncN95kIEOY3m+RIqvGF7KQy4dq4BqWBAVHUFlUltlbTG77Gx4xt9GD0B3s9v0lWTThZrwGFJCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","last_reissued_at":"2026-07-05T11:14:46.307199Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:14:46.307199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng","submitted_at":"2023-12-14T17:01:58Z","abstract_excerpt":"We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE) and use this for training neural network Lyapunov functions. We analyze the analytical properties of the solutions to the Lyapunov and Zubov PDEs. In particular, we show that employing the Zubov equation in training neural Lyapunov functions can lead to approximate regions of attraction close to the true domain of attraction. We also examine approximation errors and the convergence of neural approximations to the u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.09131","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.09131/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2312.09131","created_at":"2026-07-05T11:14:46.307255+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.09131v4","created_at":"2026-07-05T11:14:46.307255+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.09131","created_at":"2026-07-05T11:14:46.307255+00:00"},{"alias_kind":"pith_short_12","alias_value":"JF6HLM35SPSH","created_at":"2026-07-05T11:14:46.307255+00:00"},{"alias_kind":"pith_short_16","alias_value":"JF6HLM35SPSHGYY6","created_at":"2026-07-05T11:14:46.307255+00:00"},{"alias_kind":"pith_short_8","alias_value":"JF6HLM35","created_at":"2026-07-05T11:14:46.307255+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.01085","citing_title":"Data-driven optimal control of unknown nonlinear dynamical systems using the Koopman operator","ref_index":15,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4","json":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4.json","graph_json":"https://pith.science/api/pith-number/JF6HLM35SPSHGYY6AAXIMXTVA4/graph.json","events_json":"https://pith.science/api/pith-number/JF6HLM35SPSHGYY6AAXIMXTVA4/events.json","paper":"https://pith.science/paper/JF6HLM35"},"agent_actions":{"view_html":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4","download_json":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4.json","view_paper":"https://pith.science/paper/JF6HLM35","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.09131&json=true","fetch_graph":"https://pith.science/api/pith-number/JF6HLM35SPSHGYY6AAXIMXTVA4/graph.json","fetch_events":"https://pith.science/api/pith-number/JF6HLM35SPSHGYY6AAXIMXTVA4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/action/storage_attestation","attest_author":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/action/author_attestation","sign_citation":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/action/citation_signature","submit_replication":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/action/replication_record"}},"created_at":"2026-07-05T11:14:46.307255+00:00","updated_at":"2026-07-05T11:14:46.307255+00:00"}