logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Claudio Sacerdoti Coen

Ecole Polytechnique

18H指数
110论文数
933被引数
收录论文 4
发表时间
logo
Thinking Machines: Mathematical Reasoning in the Age of LLMs
errBig Data and Cognitive Computing
IF4.4
err2026-01-24
err0
errOAAI
errAndrea Asperti; Alberto Naibo; Claudio Sacerdoti Coen
err分享
err收藏
Positive Sharing and Abstract Machines积极共享和抽象机
errPROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2025
IF0
err2026-01-01
err0
PREAI
errAccattoli, Beniamino; Coen, Claudio Sacerdoti; Wu, Jui-Hsuan
err分享
err收藏
Indexing and Retrieval in a Heterogeneous Formal Library异构形式化图书馆中的索引与检索
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errCoen, Claudio Sacerdoti; Alidra, Abdelghani
err分享
err收藏
Analysis of smart contracts balances
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2021-09-01
err1
errOAAI
errLaneve, Cosimo; Coen, Claudio Sacerdoti
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Cosimo Laneve
H 指数: 25 · 论文数: 170
A
Andrea Asperti
H 指数: 24 · 论文数: 165
B
Beniamino Accattoli
H 指数: 20 · 论文数: 107
A
Alberto Naibo
H 指数: 5 · 论文数: 39
A
Abdelghani Alidra
H 指数: 3 · 论文数: 14
查看更多