Voice, Thomas

5 publications

ICLR 2026 Hilbert: Recursively Building Formal Proofs with Informal Reasoning Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye

ICLR 2026 Reusing Pre-Training Data at Test Time Is a Compute Multiplier Alex Fang, Thomas Voice, Ruoming Pang, Ludwig Schmidt, Tom Gunter

JAIR 2012 Coalition Structure Generation over Graphs Thomas Voice, Maria Polukarov, Nicholas R. Jennings

AAAI 2011 Decentralised Control of Micro-Storage in the Smart Grid Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings

JAIR 2011 Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings