{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PV3XYLTY32FHQ5IU4EMA3VBN7J","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":"5fda237888028a508b8c4456766100cec4e7f3c7adb810624b2ec0b5ac067e0e","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-03T23:06:31Z","title_canon_sha256":"71bc9754e60a1b48a9e6452dfc54dc3ae6a3049edc26679fd5578264825a3b4e"},"schema_version":"1.0","source":{"id":"2405.03709","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.03709","created_at":"2026-07-05T09:14:54Z"},{"alias_kind":"arxiv_version","alias_value":"2405.03709v3","created_at":"2026-07-05T09:14:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03709","created_at":"2026-07-05T09:14:54Z"},{"alias_kind":"pith_short_12","alias_value":"PV3XYLTY32FH","created_at":"2026-07-05T09:14:54Z"},{"alias_kind":"pith_short_16","alias_value":"PV3XYLTY32FHQ5IU","created_at":"2026-07-05T09:14:54Z"},{"alias_kind":"pith_short_8","alias_value":"PV3XYLTY","created_at":"2026-07-05T09:14:54Z"}],"graph_snapshots":[{"event_id":"sha256:1663665416f4ad1b8d680ba4d438fbb3c334fad480edb7bb341b20669004ed2d","target":"graph","created_at":"2026-07-05T09:14:54Z","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/2405.03709/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For cyber-physical systems (CPS), including robotics and autonomous vehicles, mass deployment has been hindered by fatal errors that occur when operating in rare events. To replicate rare events such as vehicle crashes, many companies have created logging systems and employed crash reconstruction experts to meticulously recreate these valuable events in simulation. However, in these methods, \"what if\" questions are not easily formulated and answered. We present ScenarioNL, an AI System for creating scenario programs from natural language. Specifically, we generate these programs from police cr","authors_text":"Alberto Sangiovanni-Vincentelli, Ana Cismaru, Devan Shanker, Karim Elmaaroufi, Marcell Vazquez-Chanlatte, Matei Zaharia, Sanjit A. Seshia","cross_cats":["cs.AI","cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-03T23:06:31Z","title":"ScenicNL: Generating Probabilistic Scenario Programs from Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.03709","kind":"arxiv","version":3},"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:817ec0a14e0e7b35153ac2f182c1c2dbec0c597289dc9e78cca32579490addee","target":"record","created_at":"2026-07-05T09:14:54Z","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":"5fda237888028a508b8c4456766100cec4e7f3c7adb810624b2ec0b5ac067e0e","cross_cats_sorted":["cs.AI","cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-03T23:06:31Z","title_canon_sha256":"71bc9754e60a1b48a9e6452dfc54dc3ae6a3049edc26679fd5578264825a3b4e"},"schema_version":"1.0","source":{"id":"2405.03709","kind":"arxiv","version":3}},"canonical_sha256":"7d777c2e78de8a787514e1180dd42dfa5f8a69a94047ee0c405ada1908cdb254","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d777c2e78de8a787514e1180dd42dfa5f8a69a94047ee0c405ada1908cdb254","first_computed_at":"2026-07-05T09:14:54.276712Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:14:54.276712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6gMsSbC7zWtwrhCmh6T+LV4oaLTTBLC1E3pubGuxjsAL2bnJuD3zdypmKZrSPMpsyJep+yUnWnDL5LgUDgYbDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:14:54.277259Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.03709","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:817ec0a14e0e7b35153ac2f182c1c2dbec0c597289dc9e78cca32579490addee","sha256:1663665416f4ad1b8d680ba4d438fbb3c334fad480edb7bb341b20669004ed2d"],"state_sha256":"a378cc4bdedf5aa25060003154ebcc6f9156154af2c6b6a6a3bc4bb77b3f67a8"}