Model Checking Using Large Language Models—Evaluation and Future Directions. - Batsakis, Sotiris; Tachmazidis, Ilias; Mantle, Matthew; Papadakis, Nikolaos; Antoniou, Grigoris (Electronics (2079-9292), 2025)