{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6DG52VLFR4IJEDPTO6RJDDMPS2","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":"3dd295f381b52d9383d8b8716f318aecec4d7897521fbebd0bae7f1ef44ef8ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-28T21:04:35Z","title_canon_sha256":"bc61942b8691b086fdfdc8628ac534cc385cf52d9b00cf2b67a7b31188601228"},"schema_version":"1.0","source":{"id":"2508.21213","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.21213","created_at":"2026-07-05T12:01:30Z"},{"alias_kind":"arxiv_version","alias_value":"2508.21213v1","created_at":"2026-07-05T12:01:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.21213","created_at":"2026-07-05T12:01:30Z"},{"alias_kind":"pith_short_12","alias_value":"6DG52VLFR4IJ","created_at":"2026-07-05T12:01:30Z"},{"alias_kind":"pith_short_16","alias_value":"6DG52VLFR4IJEDPT","created_at":"2026-07-05T12:01:30Z"},{"alias_kind":"pith_short_8","alias_value":"6DG52VLF","created_at":"2026-07-05T12:01:30Z"}],"graph_snapshots":[{"event_id":"sha256:2dc796259ddf29cc882f408310bea9850be8a1d76b319ff27062e52220cb80a5","target":"graph","created_at":"2026-07-05T12:01:30Z","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/2508.21213/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Leveraging a stochastic extension of Zubov's equation, we develop a physics-informed neural network (PINN) approach for learning a neural Lyapunov function that captures the largest probabilistic region of attraction (ROA) for stochastic systems. We then provide sufficient conditions for the learned neural Lyapunov functions that can be readily verified by satisfiability modulo theories (SMT) solvers, enabling formal verification of both local stability analysis and probabilistic ROA estimates. By solving Zubov's equation for the maximal Lyapunov function, our method provides more accurate and","authors_text":"Hans De Sterck, Jun Liu, Yun Su","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-28T21:04:35Z","title":"Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.21213","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:599dcc250bd38ff7dacfe07c22e505cba18d975d6a03648e2e3e4b7b22dafb6c","target":"record","created_at":"2026-07-05T12:01:30Z","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":"3dd295f381b52d9383d8b8716f318aecec4d7897521fbebd0bae7f1ef44ef8ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2025-08-28T21:04:35Z","title_canon_sha256":"bc61942b8691b086fdfdc8628ac534cc385cf52d9b00cf2b67a7b31188601228"},"schema_version":"1.0","source":{"id":"2508.21213","kind":"arxiv","version":1}},"canonical_sha256":"f0cddd55658f10920df377a2918d8f96ae896ba3bd6a8ed41ffb47cd6e974a5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f0cddd55658f10920df377a2918d8f96ae896ba3bd6a8ed41ffb47cd6e974a5b","first_computed_at":"2026-07-05T12:01:30.149105Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:30.149105Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D7nQ5fspDop3z71y0a/45KvAuT/OpR77ihVbLIGkbfZMd7w5EEb6NJe8qcBGrUlnOcug6qAmF/fTemSdSivWDA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:30.149645Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.21213","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:599dcc250bd38ff7dacfe07c22e505cba18d975d6a03648e2e3e4b7b22dafb6c","sha256:2dc796259ddf29cc882f408310bea9850be8a1d76b319ff27062e52220cb80a5"],"state_sha256":"6ce83b035fbb9329d2d3b318ad3da1a37ebcd10d59ec54aa1e5291369c4ed888"}