{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:257T5JCQ44JVI4ZLU7O5D7Y4AY","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":"b2f94d647fd3a82df44c9ece03d04c89673f8d17f75eac369174c4685c8f7e4f","cross_cats_sorted":["cs.FL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-06-14T20:26:20Z","title_canon_sha256":"d5a43b3e5424d678b26a7f51dd62ce75f21a8aaa8058273717bf537664a30280"},"schema_version":"1.0","source":{"id":"2206.07152","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.07152","created_at":"2026-07-05T04:31:50Z"},{"alias_kind":"arxiv_version","alias_value":"2206.07152v1","created_at":"2026-07-05T04:31:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.07152","created_at":"2026-07-05T04:31:50Z"},{"alias_kind":"pith_short_12","alias_value":"257T5JCQ44JV","created_at":"2026-07-05T04:31:50Z"},{"alias_kind":"pith_short_16","alias_value":"257T5JCQ44JVI4ZL","created_at":"2026-07-05T04:31:50Z"},{"alias_kind":"pith_short_8","alias_value":"257T5JCQ","created_at":"2026-07-05T04:31:50Z"}],"graph_snapshots":[{"event_id":"sha256:c88bf47bd3d1209b505ecf733511b580a094a7d06ee81ad3e54d61849e17f0db","target":"graph","created_at":"2026-07-05T04:31:50Z","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/2206.07152/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities. CitySpec not only helps overcome the language differences brought by English requirements and formal specifications, but also offers solutions to","authors_text":"Haoxiang Zhang, Isaac Li, John Stankovic, Meiyi Ma, Sarah Preum, Zirong Chen","cross_cats":["cs.FL","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-06-14T20:26:20Z","title":"An Intelligent Assistant for Converting City Requirements to Formal Specification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.07152","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:55f044a400a5d22b3ac5f0485b3da9038d0900e9ca2d1cb0151d85d3a3c1e91d","target":"record","created_at":"2026-07-05T04:31:50Z","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":"b2f94d647fd3a82df44c9ece03d04c89673f8d17f75eac369174c4685c8f7e4f","cross_cats_sorted":["cs.FL","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-06-14T20:26:20Z","title_canon_sha256":"d5a43b3e5424d678b26a7f51dd62ce75f21a8aaa8058273717bf537664a30280"},"schema_version":"1.0","source":{"id":"2206.07152","kind":"arxiv","version":1}},"canonical_sha256":"d77f3ea450e71354732ba7ddd1ff1c062ecfa88360bbfbff47ac5c00835f29d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d77f3ea450e71354732ba7ddd1ff1c062ecfa88360bbfbff47ac5c00835f29d5","first_computed_at":"2026-07-05T04:31:50.425635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:31:50.425635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Rb+V8KtTlv4bgDlKtVarTlr6QkIwrIgn8MHwHHr7lYdRXzRfoHz/K5lJe220OFYgG9I5U7yHwE12gMD/HiLfBw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:31:50.426041Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.07152","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55f044a400a5d22b3ac5f0485b3da9038d0900e9ca2d1cb0151d85d3a3c1e91d","sha256:c88bf47bd3d1209b505ecf733511b580a094a7d06ee81ad3e54d61849e17f0db"],"state_sha256":"10d7ae8e5d00111206643481d5747af1f43255fecd607e6a54240c63856249cd"}