Vidit Ostwal

ViditOstwal's activity

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

liked a Space 16 days ago

Running

RL

2

Maze Env Environment Server

🎭

2

Play a maze game with D‑Pad controls

liked a Space about 1 month ago

Running

RL

1

Price Negotiation Environment Server

🎭

1

Negotiate prices in an interactive buyer simulation

liked a Space about 2 months ago

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 a Space 3 months ago

Runtime error

5

Moonfish Chess

♟

5

Play chess against an AI opponent with adjustable difficulty

liked a Space 4 months ago

Running

RL

3

RLM Interactive Console

🚀

3

Query a recursive language model for long‑context answers