{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MXEPRYEWOEXFOFPD3XYCT3LO4H","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":"f3d36a577bd390297526f031120961a5e257f3bba2f073d188bb4d63f9c85563","cross_cats_sorted":["cs.LG","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-11-16T11:18:21Z","title_canon_sha256":"61d446f3338a91ad3b24170358ff6efed8e314982be174b277ab0a666e89ad1b"},"schema_version":"1.0","source":{"id":"2311.09793","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09793","created_at":"2026-07-05T08:08:19Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09793v2","created_at":"2026-07-05T08:08:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09793","created_at":"2026-07-05T08:08:19Z"},{"alias_kind":"pith_short_12","alias_value":"MXEPRYEWOEXF","created_at":"2026-07-05T08:08:19Z"},{"alias_kind":"pith_short_16","alias_value":"MXEPRYEWOEXFOFPD","created_at":"2026-07-05T08:08:19Z"},{"alias_kind":"pith_short_8","alias_value":"MXEPRYEW","created_at":"2026-07-05T08:08:19Z"}],"graph_snapshots":[{"event_id":"sha256:777f2567933dbbe3a7cc0d140ce00e95494c08dcf1f2207ebb3ca024574b136b","target":"graph","created_at":"2026-07-05T08:08:19Z","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/2311.09793/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents Fossil 2.0, a new major release of a software tool for the synthesis of certificates (e.g., Lyapunov and barrier functions) for dynamical systems modelled as ordinary differential and difference equations. Fossil 2.0 is much improved from its original release, including new interfaces, a significantly expanded certificate portfolio, controller synthesis and enhanced extensibility. We present these new features as part of this tool paper. Fossil implements a counterexample-guided inductive synthesis (CEGIS) loop ensuring the soundness of the method. Our tool uses neural netw","authors_text":"Alec Edwards, Alessandro Abate, Andrea Peruffo","cross_cats":["cs.LG","cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-11-16T11:18:21Z","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09793","kind":"arxiv","version":2},"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:e8d253b6ff25fa1cf0d4177fc12c6516cac105d197f8ba345ef53453fc3ef706","target":"record","created_at":"2026-07-05T08:08:19Z","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":"f3d36a577bd390297526f031120961a5e257f3bba2f073d188bb4d63f9c85563","cross_cats_sorted":["cs.LG","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-11-16T11:18:21Z","title_canon_sha256":"61d446f3338a91ad3b24170358ff6efed8e314982be174b277ab0a666e89ad1b"},"schema_version":"1.0","source":{"id":"2311.09793","kind":"arxiv","version":2}},"canonical_sha256":"65c8f8e096712e5715e3ddf029ed6ee1d6e408c4b05a8588f3709fbfa51a4bc9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65c8f8e096712e5715e3ddf029ed6ee1d6e408c4b05a8588f3709fbfa51a4bc9","first_computed_at":"2026-07-05T08:08:19.209789Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:08:19.209789Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OLpX8o0BwTVvTsML6psqWW+tdElVn5PrDcj+uqc7ne5D6plxFTH+c8gXO4MTugSwJB2Sek0qjesUgVbUIkLrBg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:08:19.210353Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.09793","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8d253b6ff25fa1cf0d4177fc12c6516cac105d197f8ba345ef53453fc3ef706","sha256:777f2567933dbbe3a7cc0d140ce00e95494c08dcf1f2207ebb3ca024574b136b"],"state_sha256":"4ae7fa8306d34953db08ea0b90a1e4e3646b42d84e8e6aacf7f86c372e3d5129"}