Ishita Bhattacharyya

ishitab's activity

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

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

Sleeping

Agents

1

EvoDungeon

⚔

1

Play a text-based dungeon battle game

Paused

Agents

Featured

181

Gradio Hackathon Registration Winter 25

📝

181

Gradio Agents & MCP Hackathon Winter 2025 Registration Page