hi-todayis-jh/Polaris-Hard
Polaris-Hard A random subset of Polaris-Dataset-53K, with 3,200 distinct math problems in a single train split. Original difficulty Source pool Eligible pool Selected Share 0/8 15,368 9,331 2,000 62.5% 1/8 6,956 4,929 1,200 37.5% Total 22,324 14,260 3,200 100% Sampling Source revision: 296f8e34132e63f4a1d70e0dcc8bddebb43f03e4. Seed: 42. Uniform random sampling without replacement within each group, followed by a deterministic shuffle of the… See the full description on the dataset page: https://huggingface.co/datasets/hi-todayis-jh/Polaris-Hard.
Resample same-size subset after finite-real answer parsing and explicit-proof filtering
Add Polaris-Hard: 2,000 zero-of-eight and 1,200 one-of-eight problems, seed 42
initial commit