科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
J
Julien Girard-Satabin
Universite Paris Saclay
2
H指数
23
论文数
14
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
CAISAR平台:扩展机器学习规范与验证的适用范围
INTEGRATED FORMAL METHODS, IFM 2025
IF
0
2026-01-01
0
PRE
AI
Alberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
A
Alban Grastien
H 指数: 17 · 论文数: 100
F
François Bobot
H 指数: 11 · 论文数: 47
M
Michele Alberti
H 指数: 9 · 论文数: 52
Z
Zakaria Chihani
H 指数: 7 · 论文数: 50
A
Aymeric Varasse
H 指数: 1 · 论文数: 6
已加载全部