科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
返回
P
Papadakis, Nikolaos
机构信息待补充
0
H指数
1
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Model Checking Using Large Language Models-Evaluation and Future Directions
基于大型语言模型的模型检测——评估与未来方向
ELECTRONICS
IF
2.6
2025-01-20
0
OA
AI
Batsakis, Sotiris; Tachmazidis, Ilias; Mantle, Matthew; Papadakis, Nikolaos; Antoniou, Grigoris
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
S
Sotiris Batsakis
H 指数: 17 · 论文数: 75
I
Ilias Tachmazidis
H 指数: 14 · 论文数: 52
M
Matthew Mantle
H 指数: 3 · 论文数: 6
H 指数: 0 · 论文数: 398
已加载全部