{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JF6HLM35SPSHGYY6AAXIMXTVA4","short_pith_number":"pith:JF6HLM35","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"},"canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","source":{"kind":"arxiv","id":"2312.09131","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.09131","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"arxiv_version","alias_value":"2312.09131v4","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.09131","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_12","alias_value":"JF6HLM35SPSH","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_16","alias_value":"JF6HLM35SPSHGYY6","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_8","alias_value":"JF6HLM35","created_at":"2026-07-05T11:14:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JF6HLM35SPSHGYY6AAXIMXTVA4","target":"record","payload":{"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"},"canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","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"},"source_kind":"arxiv","source_id":"2312.09131","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:14:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7inALdC2LDxVkS77FS32B1vZ4X/kOWRiVk6U/hkWuLPf52keV5zv8VRIVHws4knygDl0aaZeaS7uuqg5xWuaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T22:50:25.044657Z"},"content_sha256":"fc1b052bc231e187c1f7da08b7d198476845e79a0f5536f63270b56f0ca6ef3b","schema_version":"1.0","event_id":"sha256:fc1b052bc231e187c1f7da08b7d198476845e79a0f5536f63270b56f0ca6ef3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JF6HLM35SPSHGYY6AAXIMXTVA4","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:14:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vxfl29cfst+geQu995SghdaN1t5aL3+aYaQ8apQJMQtA+uDfQRpyh6FQeKdg8BdrefCt/o29cWcRQdmeB5GLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T22:50:25.045031Z"},"content_sha256":"45ec44af5cd966a672cdc060811db0d6b532b2d6bd92ae74bae51747bcc35bcd","schema_version":"1.0","event_id":"sha256:45ec44af5cd966a672cdc060811db0d6b532b2d6bd92ae74bae51747bcc35bcd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/bundle.json","state_url":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-26T22:50:25Z","links":{"resolver":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4","bundle":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/bundle.json","state":"https://pith.science/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JF6HLM35SPSHGYY6AAXIMXTVA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JF6HLM35SPSHGYY6AAXIMXTVA4","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":"e608f19ed96c36947ea2224c448daf3dd669273eceeb5302ee1b9e275ed28cb2","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-14T17:01:58Z","title_canon_sha256":"106e546a9c179db36ea9a1449a9c0f7f04063913f3408507c8c34d3d4dc408f2"},"schema_version":"1.0","source":{"id":"2312.09131","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.09131","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"arxiv_version","alias_value":"2312.09131v4","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.09131","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_12","alias_value":"JF6HLM35SPSH","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_16","alias_value":"JF6HLM35SPSHGYY6","created_at":"2026-07-05T11:14:46Z"},{"alias_kind":"pith_short_8","alias_value":"JF6HLM35","created_at":"2026-07-05T11:14:46Z"}],"graph_snapshots":[{"event_id":"sha256:45ec44af5cd966a672cdc060811db0d6b532b2d6bd92ae74bae51747bcc35bcd","target":"graph","created_at":"2026-07-05T11:14:46Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2312.09131/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng","cross_cats":["cs.LG","cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-14T17:01:58Z","title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.09131","kind":"arxiv","version":4},"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:fc1b052bc231e187c1f7da08b7d198476845e79a0f5536f63270b56f0ca6ef3b","target":"record","created_at":"2026-07-05T11:14:46Z","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":"e608f19ed96c36947ea2224c448daf3dd669273eceeb5302ee1b9e275ed28cb2","cross_cats_sorted":["cs.LG","cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-12-14T17:01:58Z","title_canon_sha256":"106e546a9c179db36ea9a1449a9c0f7f04063913f3408507c8c34d3d4dc408f2"},"schema_version":"1.0","source":{"id":"2312.09131","kind":"arxiv","version":4}},"canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"497c75b37d93e473631e002e865e75072e5b8898c7f653c8539c74a7bb98a4f1","first_computed_at":"2026-07-05T11:14:46.307199Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:14:46.307199Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xMaoQitbJcamncN95kIEOY3m+RIqvGF7KQy4dq4BqWBAVHUFlUltlbTG77Gx4xt9GD0B3s9v0lWTThZrwGFJCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:14:46.307646Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.09131","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc1b052bc231e187c1f7da08b7d198476845e79a0f5536f63270b56f0ca6ef3b","sha256:45ec44af5cd966a672cdc060811db0d6b532b2d6bd92ae74bae51747bcc35bcd"],"state_sha256":"5cef5536381c23d6a3f02860c4e97f9093d13f7dd3fe8a4909a04372251d32bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PEl9nXipomsb2PdwqjF7TJNEeziQfUyuAKPrWuO6HeWlWefQrhGHUxN07gSI8RS12AC7pIWFHgqLYv6NDQW4Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-26T22:50:25.047440Z","bundle_sha256":"ff7be58101172974051a1065e710716f0c4c2bfcf8980fbfce9a85efe2ad3ba0"}}