- 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...

