Scholar
Marc Lelarge
Google Scholar ID: cLGOIdMAAAAJ
INRIA and ENS
machine learning
probability
networks
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,657
H-index
28
i10-index
50
Publications
20
Co-authors
69
list available
Publications
5 items
Growing an Agent/Prover Interface: Evolutionary Tool Design for Cost-Efficient Theorem Proving in Rocq and Lean
2026
Cited
0
EnJoi: Ensemble Joint Score Filter for Generative Data Assimilation
2026
Cited
0
Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP
2026
Cited
0
Bootstrap Learning for Combinatorial Graph Alignment with Sequential GNNs
2025
Cited
0
Graph Alignment for Benchmarking Graph Neural Networks and Learning Positional Encodings
2025
Cited
0
Co-authors
15 total
Laurent Massoulié
Inria
Thomas Bonald
Telecom Paris
Alexandre Proutiere
KTH
M. Sadegh Talebi
Assistant Professor of Computer Science, University of Copenhagen
Florent Krzakala
École polytechnique fédérale de Lausanne
Lenka Zdeborová
EPFL, Switzerland
Jiaming Xu
The Fuqua School of Business, Duke University
Richard Combes
Assistant Professor, Supélec
