Considering the increasing applications of Large Language Models (LLMs) to many natural
language tasks, this paper presents preliminary findings on developing a verification …