Review
Paperena: Reliable Science from Unreliable AI
Harit Vishwakarma, Amit Vishwakarma, Klara Kaleb et al.
· 0 citations
We have 2 of 15 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Aug 2026
FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation
A new benchmark for AF faithfulness is proposed that is cheap to apply, sound under weak assumptions, and assesses both positive and negative examples, and measuring validity preservation on unperturbed steps and invalidity preservation on perturbed steps is applied.
Rob Cornish, Iacopo Ghinassi, Po-Hung Yeh et al.
· 1 citation