Timothy Gowers

11 papers A* 1B 2Journal 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Automatically Generalizing Proofs and Statements.
ITP
Anshula Gandhi, Anand Rao Tadipatri, Timothy Gowers
2025 J jnl
Early science acceleration experiments with GPT-5.
CoRR
Sébastien Bubeck, Christian Coester, Ronen Eldan, Timothy Gowers, Yin Tat Lee, Alexandru Lupsasca, Mehtaab Sawhney, Robert Scherrer, Mark Sellke, Brian K. Spears, Derya Unutmaz, Kevin Weil, Steven Yin, Nikita Zhivotovskiy
2025 B conf
Studying Mathematical Reasoning through the Gadget Game.
CogSci
Jonas Bayer, Jacob Loader, Katherine M. Collins, Simon Frieder, Adrian Weller, Joshua B. Tenenbaum, Timothy Gowers
2024 J jnl
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.
CoRR
Simon Frieder, Jonas Bayer, Katherine M. Collins, Julius Berner, Jacob Loader, András Juhász, Fabian Ruehle, Sean Welleck, Gabriel Poesia, Ryan-Rhys Griffiths, Adrian Weller, Anirudh Goyal, Thomas Lukasiewicz, Timothy Gowers
2023 J jnl
Evaluating Language Models for Mathematics through Interactions.
CoRR
Katherine M. Collins, Albert Q. Jiang, Simon Frieder, Lionel Wong, Miri Zilka, Umang Bhatt, Thomas Lukasiewicz, Yuhuai Wu, Joshua B. Tenenbaum, William Hart, Timothy Gowers, Wenda Li, Adrian Weller, Mateja Jamnik
2022 J jnl
High-dimensional tennis balls.
Comb. Theory
Timothy Gowers, Katarzyna Wyczesany
2021 J jnl
Mixing in non-quasirandom groups.
Electron. Colloquium Comput. Complex.
Timothy Gowers, Emanuele Viola
2019 J jnl
Subsets of Cayley Graphs that Induce Many Edges.
Theory Comput.
Timothy Gowers, Oliver Janzer
2016 J jnl
The multiparty communication complexity of interleaved group products.
Electron. Colloquium Comput. Complex.
Timothy Gowers, Emanuele Viola
2015 A* conf
The communication complexity of interleaved group products.
STOC
Timothy Gowers, Emanuele Viola
2015 J jnl
The communication complexity of interleaved group products.
Electron. Colloquium Comput. Complex.
Timothy Gowers, Emanuele Viola