arrow
返回
P

Papadakis, Nikolaos

机构信息待补充

0H指数
1论文数
0被引数
收录论文 1
发表时间
Model Checking Using Large Language Models-Evaluation and Future Directions基于大型语言模型的模型检测——评估与未来方向
err2025-01-20
err0
errOAAI
errBatsakis, Sotiris; Tachmazidis, Ilias; Mantle, Matthew; Papadakis, Nikolaos; Antoniou, Grigoris
err分享
err收藏