{"id":"2302.09665","title":"CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization","url":"https://codeofpaper.com/paper/2302.09665","arxiv_url":"https://arxiv.org/abs/2302.09665","published":"2023-02-19","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}