SAIRfoundation/equational-theories-benchmark download history

SAIRfoundation/equational-theories-benchmark is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 389 times (43 in the last 7 days), and 1,586 times in total. It ranks #40,212 among datasets by monthly downloads.

Equational Theories Benchmark This release packages six common_25 benchmarks for Stage 1 of the Mathematics Distillation Challenge: Equational Theories. Competition page: https://competition.sair.foundation/competitions/mathematics-distillation-challenge-equational-theories-stage1 Playg

Open SAIRfoundation/equational-theories-benchmark on Hugging Face