Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models.

Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu

Browse the full QRS paper archive.