Sort by
Refine Your Search
-
languages and to propose new methods inspired by the recent advances in Large Language Models (LLMs) for these tasks. Our approach aims to 1) build and collect a corpus of lexical complexity assessments by
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions