Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a Space about 20 hours ago

sachinkumarsingh/tla-env

published a Space about 20 hours ago

sachinkumarsingh/tla-env

liked a model 14 days ago

fishaudio/s2-pro

View all activity

Organizations

Collections 2

spaces 1

TLA+ Specification Verification Environment

Step through TLA spec environment

models 1

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated 22 days ago • 20

datasets 0

None public yet