Table · dataset · 2026
FaithformBench-Regex
Listed in Hugging Face Datasets
FaithformBench-Regex Benchmark B of FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation (Cornish, Ghinassi, et al., 2026).
Description
This is the supplementary arm used in the paper's perturbation-robustness appendix, to check that the conclusions do not depend on the choice of perturbation function. The unperturbed steps are exactly those of FaithformBench.
FaithformBench is the main benchmark, with LLM-based (BrokenMath-style) perturbations.… See the full description on the dataset page: huggingface.co/datasets/ighina/FaithformBench-Regex.
Links
Where it is published
- Hugging Face dataset page huggingface.co/datasets/ighina/FaithformBench-Regex ↗
landing page · from Hugging Face
Documentation and papers
- arXiv:2608.10916 arxiv.org/abs/2608.10916 ↗
publication · from Hugging Face
Catalogue records · 1
- Hub API huggingface.co/api/datasets/ighina/FaithformBench-Regex ↗
metadata API · from Hugging Face
Topics
- Stated by source
- text · text generation
- From keywords
- Computer Science & AI · Mathematics & Statistics
Provenance · 1 source records, 11 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Hugging Face Datasets | ighina/FaithformBench-Regex | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · Hugging Face | connector:huggingface@1.0.0 | /gated |
| concepts[field].local:field:computer-science-ai | mapping · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[field].local:field:mathematics-statistics | mapping · Hugging Face | vocabulary-mapper@1.0.0 | keywords['mathematics'] |
| concepts[modality].hf_modality:text | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[task].hf_task:text-generation | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| created_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| description | source · Hugging Face | connector:huggingface@1.0.0 | /description |
| license | source · Hugging Face | connector:huggingface@1.0.0 | /tags[license:*] |
| publication_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| title | source · Hugging Face | connector:huggingface@1.0.0 | /id |
| updated_date | source · Hugging Face | connector:huggingface@1.0.0 |