Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers.

Daniel Mendoza, Christopher Hahn, Caroline Trippel

Browse the full FMCAD paper archive.