Matej Balog
- DeepCoder: Learning to Write Programs
2016/11/07 by Matej Balog, Alexander L. Gaunt, Balog, Matej +7 · 4 voices · 30 citations
Computer Science · #Software Engineering Research #Advanced Malware Detection Techniques #Security and Verification in Computing
- Advancing Mathematics Research with AI-Driven Formal Proof Search
2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
#cs.AI
- Mathematical discoveries from program search with large language models
2023/12/14 by Bernardino Romera-Paredes, Bernardino Romera‐Paredes, Mohammadamin Barekatain +11 · 192 citations
Computer Science · #Computability, Logic, AI Algorithms #Artificial Intelligence in Games #Algorithms and Data Compression
- AlphaEvolve: A coding agent for scientific and algorithmic discovery
2025/06/16 by Alexander Novikov, Nhat Vu, Ngân Vũ +38 · 2 voices · 177 citations
Decision Sciences · #Scientific Computing and Data Management
- Quantum Circuit Optimization with AlphaTensor
2024/02/22 by Francisco J. R. Ruiz, Ruiz, Francisco J. R., Tuomas Laakkonen +24 · 2 voices · 20 citations
Computer Science · #Quantum Computing Algorithms and Architecture
- The Mondrian Process for Machine Learning
2015/07/18 by Matej Balog, Yee Whye Teh, Balog, Matej +1 · 2 citations
Computer Science · #Gaussian Processes and Bayesian Inference #Data Visualization and Analytics #Computer Graphics and Visualization Techniques
- Amplifying human performance in combinatorial competitive programming
2024/11/29 by Petar Veličković, Veličković, Petar, Alex Vitvitskyi +11 · 3 citations
Computer Science · Psychology · #Teaching and Learning Programming #Educational Games and Gamification #AI-based Problem Solving and Planning