Scholar

Sean J Welleck

Google Scholar ID: Ac6n5pQAAAAJ

Assistant Professor, Carnegie Mellon University

machine learningdeep learninglanguage models

Citations & Impact

All-time

Citations

9,358

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

August 2025: Awarded NSF funding to launch the Institute for Computer-Aided Reasoning in Mathematics
Developed LeanHammer, a sledgehammer-style tool for Lean theorem proving
Released LLMLean: enabling LLMs + Lean on laptops or in the cloud
Delivered invited talks and tutorials at NeurIPS 2024, SciFM 2025, ICLR, Simons Institute, and more
Authored multiple preprints including 'OptimalThinkingBench', 'Premise Selection for a Lean Hammer', and 'The CoT Encyclopedia', covering reasoning evaluation, formal math, and chain-of-thought control
Co-taught a new course on 'Neural Code Generation' with Daniel Fried at CMU

Co-authors

23 total