logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Claudio Sacerdoti Coen

Ecole Polytechnique

18H-index
110Paper Count
933Citation Count
Published Papers 4
Publication Date
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
errShare
errSave
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
errShare
errSave
Indexing and Retrieval in a Heterogeneous Formal Library
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errCoen, Claudio Sacerdoti; Alidra, Abdelghani
errShare
errSave
Analysis of smart contracts balances
errBLOCKCHAIN-RESEARCH AND APPLICATIONS
IF5.6
err2021-09-01
err1
errOAAI
errLaneve, Cosimo; Coen, Claudio Sacerdoti
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
C
Cosimo Laneve
H-index: 25 · Papers: 170
A
Andrea Asperti
H-index: 24 · Papers: 165
B
Beniamino Accattoli
H-index: 20 · Papers: 107
A
Alberto Naibo
H-index: 5 · Papers: 39
A
Abdelghani Alidra
H-index: 3 · Papers: 14
View more