Open to Collab

Sachin Singh

sachinkumarsingh

AI & ML interests

None yet

Recent Activity

updated a model 7 days ago

sachinkumarsingh/lean-rl

published a model 7 days ago

sachinkumarsingh/lean-rl

updated a Space about 1 month ago

sachinkumarsingh/tla-env

View all activity

Organizations

Collections 2

spaces 1

TLA+ Specification Verification Environment

🔬

Step through a TLA spec environment with text commands

models 2

sachinkumarsingh/lean-rl

Updated 7 days ago

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated Mar 18

datasets 0

None public yet

Sachin Singh

AI & ML interests

Recent Activity

Organizations

Collections 2

fishaudio/s2-pro

moondream/moondream3-preview

fishaudio/s2-pro

moondream/moondream3-preview

spaces 1

TLA+ Specification Verification Environment

models 2

sachinkumarsingh/lean-rl

sachinkumarsingh/deepseek-v3-smol

datasets 0

Sachin Singh

AI & ML interests

Recent Activity

Organizations

Collections 2

spaces 1

TLA+ Specification Verification Environment

models 2 Sort: Recently updated

datasets 0

models 2