Poster: TAPChecker: Model Checking in Trigger-Action Rules Generation Using Large Language Models.

Huan Bui, Harper Lienerth, Chenglong Fu, Meera Sridhar

Browse the full CCS paper archive.