SAIRcompetition

SAIRcompetition's activity

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

published a dataset 13 days ago

SAIRfoundation/IGP24-stage1

Viewer • Updated about 10 hours ago • 164k • 60

updated a dataset 26 days ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 26 days ago • 3.27k • 8.11k • 11

New activity in SAIRfoundation/equational-theories-selected-problems about 1 month ago

Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)

1

#2 opened about 1 month ago by

mathmaxlover

liked a Space 3 months ago

Sleeping

6

SAIR Stage 2 Agent Collab

⚡

6

Making Open-Weight LLMs better at Formal Math

updated a Space 6 months ago

Running

README

🔬

updated a dataset 6 months ago

SAIRfoundation/equational-theories-benchmark

Viewer • Updated Apr 5 • 120k • 368 • 9

published a Space 6 months ago

Running

README

🔬

liked a dataset 7 months ago

SAIRfoundation/equational-theories-benchmark

Viewer • Updated Apr 5 • 120k • 368 • 9

published a dataset 7 months ago

SAIRfoundation/equational-theories-benchmark

Viewer • Updated Apr 5 • 120k • 368 • 9

liked a dataset 7 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 26 days ago • 3.27k • 8.11k • 11

published a dataset 7 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 26 days ago • 3.27k • 8.11k • 11

updated a dataset 7 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 26 days ago • 3.27k • 8.11k • 11