- Feature Paper
- Article
Model Checking Using Large Language Models—Evaluation and Future Directions
- Sotiris Batsakis,
- Ilias Tachmazidis,
- Matthew Mantle,
- Nikolaos Papadakis and
- Grigoris Antoniou
Large language models (LLMs) such as ChatGPT have risen in prominence recently, leading to the need to analyze their strengths and limitations for various tasks. The objective of this work was to evaluate the performance of large language models for...

