Isaac Li's picture

2

Isaac Li PRO

Isaac74

·

AI & ML interests

Lean4 & AI

Recent Activity

updated a model 7 days ago

Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

liked a model 7 days ago

Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

published a model 7 days ago

Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

View all activity

Organizations

None yet

models 1

Isaac74/qwen3-0.6b-lightweight-semantic-mathlib-search-adapter

Sentence Similarity • Updated 7 days ago • 1

datasets 0

None public yet