Jialin (Mike) Lu's picture

1

Jialin (Mike) Lu

mikeljl

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space 23 days ago

delta-lab-ai/Lean-Finder

updated a Space about 2 months ago

delta-lab-ai/Lean-Finder

liked a Space 3 months ago

delta-lab-ai/Lean-Finder

View all activity

Organizations

liked a Space 3 months ago

Lean Finder

Code search for Lean 4