{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:GOOKTIZDMDXVEA4G7LGRASIWSJ","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":"e49f06e9471d75e0ed9b841fcb88628ebb83d9e3b569bfdbe53dd6ba68ade7b3","cross_cats_sorted":["cs.LG","cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-03-15T04:35:56Z","title_canon_sha256":"96f37f8766b450e3f31cccf819a7a5262949acc324df7efbf93aaa6d17a334fc"},"schema_version":"1.0","source":{"id":"2403.10013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.10013","created_at":"2026-07-05T07:56:28Z"},{"alias_kind":"arxiv_version","alias_value":"2403.10013v1","created_at":"2026-07-05T07:56:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.10013","created_at":"2026-07-05T07:56:28Z"},{"alias_kind":"pith_short_12","alias_value":"GOOKTIZDMDXV","created_at":"2026-07-05T07:56:28Z"},{"alias_kind":"pith_short_16","alias_value":"GOOKTIZDMDXVEA4G","created_at":"2026-07-05T07:56:28Z"},{"alias_kind":"pith_short_8","alias_value":"GOOKTIZD","created_at":"2026-07-05T07:56:28Z"}],"graph_snapshots":[{"event_id":"sha256:fdbf77e37af0a980741033993bb55aee088b1305e1910e02990be274e62708a7","target":"graph","created_at":"2026-07-05T07:56:28Z","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/2403.10013/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we describe a lightweight Python framework that provides integrated learning and verification of neural Lyapunov functions for stability analysis. The proposed tool, named LyZNet, learns neural Lyapunov functions using physics-informed neural networks (PINNs) to solve Zubov's equation and verifies them using satisfiability modulo theories (SMT) solvers. What distinguishes this tool from others in the literature is its ability to provide verified regions of attraction close to the domain of attraction. This is achieved by encoding Zubov's partial differential equation (PDE) into ","authors_text":"Jun Liu, Maxwell Fitzsimmons, Ruikun Zhou, Yiming Meng","cross_cats":["cs.LG","cs.SY","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-03-15T04:35:56Z","title":"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.10013","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:b7460b2d421e8f488819527deecd95cf8fb5ff0a5ae6b302745bcd99439f06ec","target":"record","created_at":"2026-07-05T07:56:28Z","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":"e49f06e9471d75e0ed9b841fcb88628ebb83d9e3b569bfdbe53dd6ba68ade7b3","cross_cats_sorted":["cs.LG","cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-03-15T04:35:56Z","title_canon_sha256":"96f37f8766b450e3f31cccf819a7a5262949acc324df7efbf93aaa6d17a334fc"},"schema_version":"1.0","source":{"id":"2403.10013","kind":"arxiv","version":1}},"canonical_sha256":"339ca9a32360ef520386facd104916924eec6fb8c79cbe31822e83a04444264c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"339ca9a32360ef520386facd104916924eec6fb8c79cbe31822e83a04444264c","first_computed_at":"2026-07-05T07:56:28.745850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:56:28.745850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4rOiRNDhorcykPHf9/wVX7oTJJ8rSvSvB/VPD/uZBlMb7pHOL9zkgD1d/ZBJK85km8doZRMPW6fQlbK++k7aDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:56:28.746427Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.10013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7460b2d421e8f488819527deecd95cf8fb5ff0a5ae6b302745bcd99439f06ec","sha256:fdbf77e37af0a980741033993bb55aee088b1305e1910e02990be274e62708a7"],"state_sha256":"f3105d1efe97825bdd7caddf1a07ed4d076526e5dfeca7f92cb7b9545b0d8c20"}