Matej Balog
2PUBLICATIONS
20CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Dec 14, 2023
Mathematical discoveries from program search with large language models.Bernardino Romera-Paredes, Mohammadamin Barekatain, Alexander Novikov
Pageof 1
Frequent Collaborators
2 joint publications
Pushmeet Kohli
1 joint publications
Bernardino Romera-Paredes
1 joint publications
Mohammadamin Barekatain
1 joint publications
Francisco J R Ruiz
1 joint publications
Pengming Wang
1 joint publications
Alhussein Fawzi
1 joint publications
George Tsoukalas
1 joint publications
Anton Kovsharov
1 joint publications
Sergey Shirobokov
1 joint publications
Anja Surina