Vidit Ostwal

ViditOstwal's activity

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

liked a Space 2 months ago

Running

RL

2

Maze Env Environment Server

🎭

2

Play a maze game using arrow keys

liked 2 Spaces 3 months ago

Sleeping

RL

1

Price Negotiation Environment Server

🎭

1

Negotiate prices in an interactive buyer simulation

Running

Featured

74

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

📝

74

Who needs 1T parameters? Olympiad proofs with a 4B model

liked 2 Spaces 5 months ago

Runtime error

5

Moonfish Chess

♟

5

Play chess against an AI opponent with adjustable difficulty

Running

RL

6

RLM Interactive Console

🚀

6

Query a recursive language model for long‑context answers