Jialin (Mike) Lu

mikeljl

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space 6 days ago

delta-lab-ai/lean-refactor-arena

new activity 12 days ago

delta-lab-ai/lean-refactor-arena:Key reset and possible display issue

updated a Space 23 days ago

delta-lab-ai/Lean-Finder

View all activity

Organizations

mikeljl 's models 2

mikeljl/v1.5

308k • Updated Sep 14 • 5

mikeljl/lean-finder-v2-base

8B • Updated Jul 1 • 6