MCeT: Behavioral Model Correctness Evaluation using Large Language Models.

Khaled E. Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng

Browse the full MODELS paper archive.