Sachin Singh

sachinkumarsingh's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 12 days ago

sachinkumarsingh/lean-rl

Updated 12 days ago

published a model 12 days ago

sachinkumarsingh/lean-rl

Updated 12 days ago

updated a Space about 1 month ago

Sleeping

RL

TLA+ Specification Verification Environment

🔬

Step through a TLA spec environment with text commands

published a Space about 1 month ago

Sleeping

RL

TLA+ Specification Verification Environment

🔬

Step through a TLA spec environment with text commands

liked a model about 2 months ago

fishaudio/s2-pro

Text-to-Speech • 5B • Updated Mar 11 • 110k • 962

updated a model about 2 months ago

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated Mar 18 • 1

published a model about 2 months ago

sachinkumarsingh/deepseek-v3-smol

43.4M • Updated Mar 18 • 1