Research author

Dominik Wagner

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Dominik Wagner

Aug 11, 2026
cs.CL

FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation

Rob Cornish, Iacopo Ghinassi, Po-Hung Yeh, et al.

Dominik Wagner — AI Research Papers | One9Founders