Jialin (Mike) Lu

mikeljl

3

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

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

Papers 1

arxiv:2510.15940

spaces 1

Textbook Dependency Graph

Interactive dependency graph of textbook claims (tbgraph)

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

datasets 0

None public yet