Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + Generation.

Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad

Browse the full ICSoft paper archive.