datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
traces-tt-2608ACORN
ACORN
Home repository for the dataset introduced in ACORN: Aspect-wise Commonsense Reasoning Explanation Evaluation.
ACORN contains 3,500 human-written and LLM-generated explanations with aspect-wise quality ratings given by humans. The github repo can be accessed here.
Data
The entire dataset is contained in ACORN.jsonl. Each row consists of an explanation, related information, aggregated (majority-voted) ratings, and the full set of individual worker ratings. Basic… See the full description on the dataset page: https://huggingface.co/datasets/anab/ACORN.traces-2608sts-probeacornlib-benchmark
Acorn Theorem Proving Benchmark (Preview)
Disclaimer: This is an early-stage, minimal benchmark for internal experimentation. It is not ready for academic publication or production evaluation. The task selection, difficulty calibration, and evaluation methodology are all preliminary.
A small benchmark of 50 theorems from the Acorn proof language, spanning easy to very hard. Each task asks the model to generate a valid proof body that the Acorn verifier accepts.
Data… See the full description on the dataset page: https://huggingface.co/datasets/OmegaCombinator/acornlib-benchmark.acorn-config