Computer Science · Physical Sciences
12h-index4.8kcitations39works3.92yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(10), Topic Modeling(8), Natural Language Processing Techniques(6), Software Testing and Debugging Techniques(5), Parallel Computing and Optimization Techniques(4)
Publications38 total
arXiv (Cornell University)·2025Open Access
ArXiv.org·2025· 1 citedOpen Access
ArXiv.org·2025Open Access
2025· 18 citedOpen Access
arXiv (Cornell University)·2024· 4 citedOpen Access
arXiv (Cornell University)·2024· 1 citedOpen Access
arXiv (Cornell University)·2024· 1 citedOpen Access
arXiv (Cornell University)·2024· 8 citedOpen Access
arXiv (Cornell University)·2024· 5 citedOpen Access
arXiv (Cornell University)·2024Open Access
arXiv (Cornell University)·2024· 5 citedOpen Access
Temperature-scaled large language models for Lean proofstep prediction
SPIRE - Sciences Po Institutional REpository·2023
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023· 9 citedOpen Access
arXiv (Cornell University)·2023· 389 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023· 3.8k citedOpen Access
arXiv (Cornell University)·2023· 139 citedOpen Access
Traduction Non Supervisée de Langages de Programmation
SPIRE - Sciences Po Institutional REpository·2022· 165 cited
arXiv (Cornell University)·2022· 18 citedOpen Access
page 1 of 2Next →
Frequent Co-authors
Olivier Teytaud(14), Gabriel Synnaeve(13), Guillaume Lample(8), Jérémy Rapin(8), Fabien Teytaud(6), Fabian Gloeckle(5), Hugh Leather(5), Camille Couprie(5), Thibaut Lavril(4), Marie-Anne Lachaux(4), Timothée Lacroix(4), Jonas Gehring(4), Vlad Hosu(4), Yann LeCun(3), Jialin Liu(3), A. Moreau(3), Marie-Liesse Cauwet(3), Volker Seeker(3), Dejan Grubisic(3), Hanhe Lin(3)