{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:LQUNUV6LFJQNBQDCGMMTOTUIEO","short_pith_number":"pith:LQUNUV6L","canonical_record":{"source":{"id":"2607.08899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T19:45:55Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"9bf5105b69d118c98d61325aa837e2ac8c905dd1ec6a7add724aa451063a8309","abstract_canon_sha256":"62bee1f794b1dc17ca7cd596099ddad8572a738277236347e03322c53d0475d4"},"schema_version":"1.0"},"canonical_sha256":"5c28da57cb2a60d0c0623319374e8823a8ab3160f1db0df6b2355009be931bb2","source":{"kind":"arxiv","id":"2607.08899","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08899","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08899v1","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08899","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_12","alias_value":"LQUNUV6LFJQN","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_16","alias_value":"LQUNUV6LFJQNBQDC","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_8","alias_value":"LQUNUV6L","created_at":"2026-07-13T00:17:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:LQUNUV6LFJQNBQDCGMMTOTUIEO","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T19:45:55Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"9bf5105b69d118c98d61325aa837e2ac8c905dd1ec6a7add724aa451063a8309","abstract_canon_sha256":"62bee1f794b1dc17ca7cd596099ddad8572a738277236347e03322c53d0475d4"},"schema_version":"1.0"},"canonical_sha256":"5c28da57cb2a60d0c0623319374e8823a8ab3160f1db0df6b2355009be931bb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T00:17:25.712176Z","signature_b64":"Rko9P0xF+pBabqzx3T5yybcQdEZdzF+oeAWuEhmkc9mV5aAHhByYw1cEvt3K/WHX/lIJa7r9TqArpZR0PmcVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c28da57cb2a60d0c0623319374e8823a8ab3160f1db0df6b2355009be931bb2","last_reissued_at":"2026-07-13T00:17:25.710804Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T00:17:25.710804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08899","source_version":1,"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-13T00:17:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jeCebDranuwXIH1MukJ2p9jsgYL/6WH8s/PLwYY7S/VQOhcWP03Ixh+CXYA/FFuOMT9GixJVUD5uBp+tozGLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T21:54:46.963798Z"},"content_sha256":"4d5a8aeafcbced0afba43082402afbcc285e018d8394f767057d7cdf91b332f2","schema_version":"1.0","event_id":"sha256:4d5a8aeafcbced0afba43082402afbcc285e018d8394f767057d7cdf91b332f2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:LQUNUV6LFJQNBQDCGMMTOTUIEO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Alex Beaudin, Calin Belta, Eric Palanques-Tost, Hanna Krasowski, Murat Arack","submitted_at":"2026-07-09T19:45:55Z","abstract_excerpt":"Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time series data is available. In this work, we propose to synthesize parameters for nonlinear systems that robustly satisfy continuous-time STL specifications for uncertain initial conditions. To this end, we use gradient-based optimization along with set-based reachability verification to efficiently learn in high-dimensional parameter spaces while providing provable satisfaction guarantees for the optimized parameters. We d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08899","kind":"arxiv","version":1},"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/2607.08899/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-13T00:17:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y1+9Q8+51WdZS98r+9jG8UxOvqbaUh7jKeYmsFG34+YCcVieRhiX4W0gUXaHwpT5Dv5Ut2BhxapEWR6aMpVVDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T21:54:46.964460Z"},"content_sha256":"c8da0849c98a582968303e869b175750f56730a0bb806ede35ad420d96366618","schema_version":"1.0","event_id":"sha256:c8da0849c98a582968303e869b175750f56730a0bb806ede35ad420d96366618"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/bundle.json","state_url":"https://pith.science/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/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-08-10T21:54:46Z","links":{"resolver":"https://pith.science/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO","bundle":"https://pith.science/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/bundle.json","state":"https://pith.science/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LQUNUV6LFJQNBQDCGMMTOTUIEO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LQUNUV6LFJQNBQDCGMMTOTUIEO","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":"62bee1f794b1dc17ca7cd596099ddad8572a738277236347e03322c53d0475d4","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T19:45:55Z","title_canon_sha256":"9bf5105b69d118c98d61325aa837e2ac8c905dd1ec6a7add724aa451063a8309"},"schema_version":"1.0","source":{"id":"2607.08899","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08899","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08899v1","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08899","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_12","alias_value":"LQUNUV6LFJQN","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_16","alias_value":"LQUNUV6LFJQNBQDC","created_at":"2026-07-13T00:17:25Z"},{"alias_kind":"pith_short_8","alias_value":"LQUNUV6L","created_at":"2026-07-13T00:17:25Z"}],"graph_snapshots":[{"event_id":"sha256:c8da0849c98a582968303e869b175750f56730a0bb806ede35ad420d96366618","target":"graph","created_at":"2026-07-13T00:17:25Z","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/2607.08899/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time series data is available. In this work, we propose to synthesize parameters for nonlinear systems that robustly satisfy continuous-time STL specifications for uncertain initial conditions. To this end, we use gradient-based optimization along with set-based reachability verification to efficiently learn in high-dimensional parameter spaces while providing provable satisfaction guarantees for the optimized parameters. We d","authors_text":"Alex Beaudin, Calin Belta, Eric Palanques-Tost, Hanna Krasowski, Murat Arack","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08899","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:4d5a8aeafcbced0afba43082402afbcc285e018d8394f767057d7cdf91b332f2","target":"record","created_at":"2026-07-13T00:17:25Z","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":"62bee1f794b1dc17ca7cd596099ddad8572a738277236347e03322c53d0475d4","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T19:45:55Z","title_canon_sha256":"9bf5105b69d118c98d61325aa837e2ac8c905dd1ec6a7add724aa451063a8309"},"schema_version":"1.0","source":{"id":"2607.08899","kind":"arxiv","version":1}},"canonical_sha256":"5c28da57cb2a60d0c0623319374e8823a8ab3160f1db0df6b2355009be931bb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c28da57cb2a60d0c0623319374e8823a8ab3160f1db0df6b2355009be931bb2","first_computed_at":"2026-07-13T00:17:25.710804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-13T00:17:25.710804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Rko9P0xF+pBabqzx3T5yybcQdEZdzF+oeAWuEhmkc9mV5aAHhByYw1cEvt3K/WHX/lIJa7r9TqArpZR0PmcVDA==","signature_status":"signed_v1","signed_at":"2026-07-13T00:17:25.712176Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08899","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d5a8aeafcbced0afba43082402afbcc285e018d8394f767057d7cdf91b332f2","sha256:c8da0849c98a582968303e869b175750f56730a0bb806ede35ad420d96366618"],"state_sha256":"626a183edd39c9b9e15a9de24bca0364013a97cc67833e0de24265fa36040e60"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iu7040pprPg6MKGKTITAXu1s4L0g+8IScrLJ9CUYQ6Lml3iQRk//ApnnFgKeEe9afb7RavXGT/TCC7b+Nph2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T21:54:46.970179Z","bundle_sha256":"319107b7b9d110bccd1675561e46f9d53bfd0c4718def982c09b53d2b9f46286"}}