Researcher in AI4Math and AI reasoning | Past: @Huawei @LightmatterCo | Postdoc @Yale | PhD @umdcs | MachineLearning and ScientificComputing | PE
Joined January 2014
- Tweets 1,104
- Following 796
- Followers 870
- Likes 7,411
63 Photos and videos
2 Dec 2025
Heading to @NeurIPSConf to present our two papers with Azim Ospanov and Farzan Farnia:
- APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
neurips.cc/virtual/2025/post…
1
116
2 Dec 2025
- miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
neurips.cc/virtual/2025/post…
Excited to meet friends and colleagues and also new people!
109
MINIF2F-V2: Human-verified fixes ( 300; 16 repaired) and an Olympiad setting (informal↔formal match, no credit for simplifications) lift end-to-end informal to Lean to proof accuracy to ~70% (vs ~36% on v1). LLM judging overstated autoformalization (97% to 66%). Two splits: v2s (simplified-faithful) and v2c (competition-exact incl. choices).
SET 🔜
2
5
1,147
Roozbeh Mohit (Yousefzadeh) retweeted
7 May 2025
Philosopher Kwame Anthony Appiah explores how early social scientists developed our modern understandings of society through their theories of religion
yalebooks.yale.edu/book/9780…
2
48
201
11,424
Roozbeh Mohit (Yousefzadeh) retweeted
7 Jul 2025
📣 We're excited to share the new lean-lang.org!
Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it!
#LeanLang #LeanProver
14
97
494
44,160
Roozbeh Mohit (Yousefzadeh) retweeted
3 Jul 2025
I'm only now getting around to this "request". I didn't know what Hadwiger's conjecture was, so I looked it up, and it seemed suitable for an experiment. Here's the result: some prompting in Claude and it was formalized it in about 10 minutes:
youtu.be/SIjVF6fr2zc
4 Jun 2025
Hadwiger’s conjecture?
2
2
27
8,580
Roozbeh Mohit (Yousefzadeh) retweeted
13 Jun 2025
Mathesis: Towards formal theorem proving from natural languages. ~ Yu Xuejun et als. arxiv.org/abs/2506.07047 #AI #LLMs #Math #ITP #LeanProver #AIforMath
2
3
358
Roozbeh Mohit (Yousefzadeh) retweeted
28 May 2025
🔥 @GoogleDeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib!
This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable for benchmarks and growing the Lean ecosystem.
The project was open sourced today! And you can be part of it! Check it out: github.com/google-deepmind/f…
#LeanProver #FormalMath #AIResearch #GoogleDeepMind
14
187
898
100,190
Roozbeh Mohit (Yousefzadeh) retweeted
22 Apr 2025
A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard ...
Roozbeh Yousefzadeh, Xuenan Cao.
Action editor: Shay Cohen.
openreview.net/forum?id=CrKM…
#benchmark #proofs #ai
1
2
407
Roozbeh Mohit (Yousefzadeh) retweeted
28 May 2025
We're excited to see #LeanLang featured in the new @Stanford course CS 99: 𝘍𝘶𝘯𝘤𝘵𝘪𝘰𝘯𝘢𝘭 𝘗𝘳𝘰𝘨𝘳𝘢𝘮𝘮𝘪𝘯𝘨 𝘢𝘯𝘥 𝘛𝘩𝘦𝘰𝘳𝘦𝘮 𝘗𝘳𝘰𝘷𝘪𝘯𝘨 𝘪𝘯 𝘓𝘦𝘢𝘯 4, led by Leni Aniva, Abdalrhman Mohamed and sponsored by Clark Barrett.
✨ The course hosts a fantastic collection of well-produced slides and #LeanLang problem sets!
See the course here: web.stanford.edu/class/cs99/
#LeanLang #LeanProver #UniversityMath #StandfordMath
1
34
238
12,781
Roozbeh Mohit (Yousefzadeh) retweeted
16 May 2025
📣 TWO EXCITING NEW LEAN LECTURES!
Watch the Strachey Lectures from @CompSciOxford featuring @leodemoura (Chief Architect, LeanFRO) and Kevin Buzzard (Professor, Imperial Collecge)
A thread on these two must-see talks 🧵👇
#LeanLang #LeanProver
1
10
57
3,112
Roozbeh Mohit (Yousefzadeh) retweeted
27 Mar 2025
Leo de Moura's "Verified Collaboration" @SimonsFdn talk explores Lean's impact on math, software verification & AI, showing how #LeanLang is paving the way for a more reliable and collaborative future.
See the talk here: youtube.com/watch?v=rmMYFmlU…
#LeanProver #FormalVerification
10
50
2,639
Roozbeh Mohit (Yousefzadeh) retweeted
27 Mar 2025
I’ve just recorded my last contribution for the BBC after 39 years. It’ll be on the next edition of From Our Own Correspondent on @BBCRadio4 and @bbcworldservice
Now onward to new adventures… As my hero Marcelo Bielsa might say, ‘Vamos Carajo!’
699
882
7,861
392,077
Roozbeh Mohit (Yousefzadeh) retweeted
21 Feb 2025
Our Presidential Lecture with Terence Tao on "Machine-Assisted Proofs" is now available to watch online: simonsfoundation.org/event/m… #math #AI
19
47
7,799
Roozbeh Mohit (Yousefzadeh) retweeted
31 Dec 2024
We were very excited to read Terence Tao's article "Machine-Assisted Proof" in the latest Notices of the American Mathematical Society, and pleased to see Lean recognized several times throughout the piece! #leanprover #leanlang
ams.org/journals/notices/202…
2
25
130
8,946
Roozbeh Mohit (Yousefzadeh) retweeted
17 Dec 2024
On March 25th, 1911, the Triangle Shirtwaist Factory fire ignited a passion inside of Frances Perkins.
She would go on to dedicate her life to lifting the lives of working people – becoming the first woman Cabinet Secretary and longest-serving Secretary of Labor in history.
This week, I was proud to designate the Frances Perkins Homestead in Maine as a national monument.
ALT President Biden designates the Frances Perkins Homestead in Maine as a national monument.
730
656
2,708
316,685
Roozbeh Mohit (Yousefzadeh) retweeted
4 Nov 2024
I believe that the vast majority of people in this country are good and generous and honest and fair – and whether they are Democrats or Republicans or independents, they want those values reflected in their politics. That’s what we’ll get with @KamalaHarris and @Tim_Walz – two leaders who will work every day to make your lives better.
17,205
22,334
150,935
25,274,964
Roozbeh Mohit (Yousefzadeh) retweeted
5 Oct 2024
Terry Tao on math and AI, in @TheAtlantic.
theatlantic.com/technology/a…
16
261
1,206
116,117
Roozbeh Mohit (Yousefzadeh) retweeted
25 Sep 2024
🎙️ Living Proof Podcast: Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard (@XenaProject)
👉 Find out more and listen here: buzzsprout.com/1992011/episo…
#livingproofpodcast
1
1
8
1,499
Roozbeh Mohit (Yousefzadeh) retweeted
16 Aug 2024
New blog post: "How the Lean Language Brings Math to Coding and Coding to Math"!
amazon.science/blog/how-the-…
1
37
153
16,078