CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization

19 February 2023

Papers citing "CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization"

2 / 2 papers shown

Title
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration Zirong Chen Ziyan An Jennifer Reynolds Kristin Mullen Stephen Martini Meiyi Ma 27 0 0 06 May 2025
Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration Shufan Wang Laure Thompson Mohit Iyyer 169 66 0 13 Sep 2021