Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a Space 24 days ago

sachinkumarsingh/tla-env

published a Space 26 days ago

sachinkumarsingh/tla-env

liked a model about 1 month 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 Mar 18 • 1

datasets 0

None public yet