Jialin (Mike) Lu

mikeljl

3

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space 7 days ago

delta-lab-ai/lean-refactor-arena

updated a Space about 1 month ago

delta-lab-ai/Lean-Finder

updated a Space about 1 month ago

View all activity

Organizations

mikeljl 's models 3

mikeljl/step1_large_scale_data_reward_sat_rank30_drop_to_0_rank100_sft_reg_retrieval

8B • Updated Jul 9 • 5

mikeljl/qwen3_4b_reward_sat_rank30_drop_to_0_rank100_sft_reg

196k • Updated Jul 2 • 6

mikeljl/lean-finder-v2-base

8B • Updated Jul 1 • 6