SAIRcompetition
SAIRcompetition
AI & ML interests
None yet
Recent Activity
updated a dataset 10 days ago
SAIRfoundation/equational-theories-selected-problemsOrganizations
Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)
1
#2 opened 25 days ago
by 
mathmaxlover
Add order5_austin subset (200 order-5 Austin-law problems, no ground truth)
1
#2 opened 25 days ago
by mathmaxlover