Research author

Luke Ong

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

Papers by Luke Ong

Aug 11, 2026
cs.CL

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

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

Luke Ong — AI Research Papers | One9Founders