Research author

Haoxuan Yin

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

Papers by Haoxuan Yin

Aug 11, 2026
cs.CL

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

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

Haoxuan Yin — AI Research Papers | One9Founders