Research author

Iacopo Ghinassi

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

Papers by Iacopo Ghinassi

Aug 11, 2026
cs.CL

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

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

Iacopo Ghinassi — AI Research Papers | One9Founders