Sachin Singh's picture

Open to Collab

1

Sachin Singh

sachinkumarsingh

·

AI & ML interests

None yet

Recent Activity

updated a model 30 days ago

sachinkumarsingh/lean-rl

published a model 30 days ago

sachinkumarsingh/lean-rl

updated a Space about 2 months ago

sachinkumarsingh/tla-env

View all activity

Organizations

Collections 2

spaces 1

TLA+ Specification Verification Environment

Step through a TLA spec environment with text commands

models 2

sachinkumarsingh/lean-rl

Updated 30 days ago

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated Mar 18 • 1

datasets 0

None public yet