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

updated a Space 8 days ago

published a Space 8 days 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 18 days ago • 17

mikeljl/qwen3_4b_reward_sat_rank30_drop_to_0_rank100_sft_reg

196k • Updated 25 days ago • 26

mikeljl/lean-finder-v2-base

8B • Updated 26 days ago • 37

datasets 0

None public yet