Review
Paperena: Reliable Science from Unreliable AI
Harit Vishwakarma, Amit Vishwakarma, Klara Kaleb et al.
· 0 citations
We have 3 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.
Estimating Uncertainty of Omnimodal Large Language Models via External Omnimodal Embeddings
Recent work has investigated Omni-modal Large Language Models (OLLMs), models which can take multiple modalities and their combinations as input, as a way forward to have systems really capable of interacting with their environment. Uncertainty quantification (UQ) for OLLMs, however, remains an open problem: existing m...
Iacopo Ghinassi, H. La, Luke Ong
· 0 citations
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