ighina/FaithformBench-Regex

FaithformBench-Regex Benchmark B of FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation (Cornish, Ghinassi, et al., 2026). 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: https://huggingface.co/datasets/ighina/FaithformBench-Regex.

<iframe src="https://silytics.si/embed/item/9ddc2107-fdfb-4460-8455-c22a5b59b128" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.