Rankings
Badges
/
yangky11
Rankings
Badges
Overview
Ranks
Repositories
Languages
Kaiyu Yang
@yangky11
Refresh
Open GitHub
🇺🇸 New York, NY
Meta Fundamental AI Research (FAIR)
Profile age: about 12 years
Updated 12 days ago
265 followers • 52 following
Contacts
kaiyuy@meta.com
https://yangky11.github.io
@KaiyuYang4
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Contributor
#223,268
#31,472
#37,527
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
miniF2F-lean4
66
28
2
updated 19 days ago • age about 2 years
Lean
95.6%
Python
4.4%
lean4-example
14
26
updated 3 months ago • age over 2 years
CNN-Color2Gray
11
3
updated almost 10 years ago • age almost 10 years
Lua
100.0%
ml4tp-tutorial
5
1
updated almost 2 years ago • age almost 2 years
Jupyter Notebook
100.0%
ai-formal-mathematical-reasoning
5
0
updated 9 months ago • age 9 months
JavaScript
90.7%
HTML
6.1%
CSS
3.2%
View all 9 repositories
Last Contributions
2025
sglang
1 PR
+1
-1
Python
18,500
3,048
28
LeanDojo
3 PRs
+49
-87
Python
705
113
35
Goedel-Prover-V2
1 PR
+2
-2
Jupyter Notebook
102
18
NeqLIPS
1 PR
+14
-1
Lean
38
2
verina
1 PR
+1
-1
Lean
25
4
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
264
265
05 Sep 2025
Followers Count:
258
264
07 Aug 2025
Followers Count:
256
258
24 Jul 2025
Followers Count:
254
256
10 Jul 2025
Followers Count:
251
254
05 Jan 2025
First seen
Subscribe to yangky11's GitHub rank updates in your messenger
WhatsApp
Telegram
