FaithformBench

What is FaithformBench?

A benchmark for evaluating faithfulness of mathematical chain-of-thought autoformalisation, using perturbed reasoning steps to test validity and invalidity…

Released

2026-08-11

Evaluates

General AI, Language & Knowledge, cs.CL

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2608.10916

FaithformBench paper

• Paper https://arxiv.org/abs/2608.10916

Which sources cite FaithformBench?

• FaithformBench

Related General AI, Language & Knowledge, cs.CL benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 3DCodeBench
• 5-Dialects-BN
• A Large-Scale Dataset and Benchmark
• A3S-Bench
• AARRI-Bench
• ABC-Bench
• ActBench