idirectships/abacus-cheat-tell-eval-v4
ABACUS Cheat-Tell Eval v4 — 1000-Row Real Prose Surgical Anachronism Why v4 Exists: Signal-Floor Argument v3 (175 rows, 140 train) was insufficient for ModernBERT fine-tuning. ModernBERT requires ≥800 train rows for a two-class surgical detection task. v4 scales to ~1000 rows (800 train / 200 eval) using real pre-modern translated prose instead of v3's synthesized templates. v4 vs v3 Changes Dimension v3 (175 rows) v4 (~1000 rows) Source… See the full description on the dataset page: https://huggingface.co/datasets/idirectships/abacus-cheat-tell-eval-v4.
ABACUS Cheat-Tell Eval v4 — 1000-Row Real Prose Surgical Anachronism
Why v4 Exists: Signal-Floor Argument
v3 (175 rows, 140 train) was insufficient for ModernBERT fine-tuning. ModernBERT requires ≥800 train rows for a two-class surgical detection task. v4 scales to ~1000 rows (800 train / 200 eval) using real pre-modern translated prose instead of v3's synthesized templates.
v4 vs v3 Changes
Sources
All sources are public-domain (pre-1928) or verified open-access.
Anachronism Pool (same 20-entry pool as v2/v3)
Gödel incompleteness (1931), Bourbaki formalism (1935/1939), Cohen forcing (1963), Grothendieck schemes (1960) / topos (1963), Langlands program (1967/1970), Wiles FLT proof (1995), Perelman Poincaré (2003) / geometrization (2003), Green-Tao theorem (2004), Tao structure/randomness (2008), ZFC axioms (1930) / choice (1930), category theory Mac Lane-Eilenberg (1945), Ramsey theory (1930).
Schema
Splits
Usage
from datasets import load_dataset
ds = load_dataset("idirectships/abacus-cheat-tell-eval-v4")
print(ds["train"][0])License
Apache-2.0 — consistent with the ABACUS codebase license.
