Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a Space 13 days ago

sachinkumarsingh/tla-env

published a Space 16 days ago

sachinkumarsingh/tla-env

liked a model 29 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 Mar 18 • 5

datasets 0

None public yet