Jialin (Mike) Lu's picture

1

Jialin (Mike) Lu

mikeljl

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space 10 days ago

delta-lab-ai/Lean-Finder

updated a Space about 1 month ago

delta-lab-ai/Lean-Finder

liked a Space 2 months ago

delta-lab-ai/Lean-Finder

View all activity

Organizations

liked a Space 2 months ago

Lean Finder

Code search for Lean 4