Showing 2026Show all
3 papers · 1 filter
cs.CL2026
FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation
Rob Cornish, Iacopo Ghinassi, Po-Hung Yeh +7
Autoformalisation (AF) systems map natural language reasoning steps into formal statements in a proof assistant such as Lean. We consider how to assess the faithfulness of these sy…
stat.CO2026
A categorical account of the Metropolis-Hastings algorithm
Rob Cornish, Andi Q. Wang
Metropolis-Hastings (MH) is a foundational Markov chain Monte Carlo (MCMC) algorithm. In this paper, we ask whether it is possible to formulate and analyse MH in terms of categoric…
quant-ph2026
Equivariant Reinforcement Learning for Clifford Quantum Circuit Synthesis
Richie Yeung, Aleks Kissinger, Rob Cornish
We consider the problem of synthesizing Clifford quantum circuits for devices with all-to-all qubit connectivity. We approach this task as a reinforcement learning problem in which…