Towards Interpretable Formal Software Requirements: Empirical Assessment of Open-Source LLMs for LTL to NL Translation.

Vimaleswar A, Arpit Sharma

Browse the full ENASE paper archive.