Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a Space 3 days ago

sachinkumarsingh/tla-env

published a Space 6 days ago

sachinkumarsingh/tla-env

liked a model 19 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 27 days ago • 20

datasets 0

None public yet