Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a Space about 17 hours ago

sachinkumarsingh/tla-env

published a Space 4 days ago

sachinkumarsingh/tla-env

liked a model 16 days ago

fishaudio/s2-pro

View all activity

Organizations

Collections 2

spaces 1

TLA+ Specification Verification Environment

Step through a TLA spec environment with text commands

models 1

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated 24 days ago • 20

datasets 0

None public yet