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-Finder

updated a Space 10 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

View all activity

Organizations

mikeljl 's models 2

mikeljl/v2

308k • Updated about 1 month ago • 8

mikeljl/lean-finder-v2-base

8B • Updated Jul 1 • 6