Alex Davies
4PUBLICATIONS
80CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (4)
Sort by Publication Date:
|Nov 12, 2025
Olympiad-level formal mathematical reasoning with reinforcement learning.Thomas Hubert, Rishi Mehta, Laurent Sartran
|May 26, 2025
Scaling and logic in the colour code on a superconducting quantum processor.N Lacroix, A Bourassa, F J H Heras
|Nov 20, 2024
Learning high-accuracy error decoding for quantum processors.Johannes Bausch, Andrew W Senior, Francisco J H Heras
|Dec 02, 2021
Advancing mathematics by guiding human intuition with AI.Alex Davies, Petar Veličković, Lars Buesing
Pageof 1
Frequent Collaborators
4 joint publications
Pushmeet Kohli
2 joint publications
Kevin Satzinger
2 joint publications
Johannes Bausch
2 joint publications
Andrew W Senior
2 joint publications
Thomas Edlich
2 joint publications
Sergio Boixo
2 joint publications
Demis Hassabis
2 joint publications
Hartmut Neven
1 joint publications
A Bourassa
1 joint publications
F J H Heras
