Jialin (Mike) Lu

mikeljl

3

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space about 23 hours ago

delta-lab-ai/lean-refactor-arena

updated a model 5 days ago

mikeljl/qwen3_4b_reward_sat_rank30_drop_to_0_rank100_sft_reg

published a model 5 days ago

mikeljl/qwen3_4b_reward_sat_rank30_drop_to_0_rank100_sft_reg

View all activity

Organizations

liked a model about 1 month ago

delta-lab-ai/lean-finder

Feature Extraction • 8B • Updated Jun 4 • 46 • 2

liked a Space about 1 month ago

Lean Refactor Arena

Leaderboard for multi-objective Lean 4 proof refactoring

liked a Space 9 months ago

Lean Finder

Code search for Lean 4