Felix Gimeno

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Mixed Integer Program

Propositional Satisfiability

Transfer Learning

Top Venues

Publications

David Warde-Farley, Vinod Nair, Yujia Li, Ivan Lobov, Felix Gimeno, Simon Osindero
Solving MaxSAT with Matrix Multiplication. CoRR (2023)
Yujia Li, David H. Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, Thomas Hubert, Peter Choy, Cyprien de Masson d'Autume, Igor Babuschkin, Xinyun Chen, Po-Sen Huang, Johannes Welbl, Sven Gowal, Alexey Cherepanov, James Molloy, Daniel J. Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, Oriol Vinyals
Competition-Level Code Generation with AlphaCode. CoRR (2022)
Andrew Jaegle, Felix Gimeno, Andy Brock, Oriol Vinyals, Andrew Zisserman, João Carreira
Perceiver: General Perception with Iterative Attention. ICML (2021)
Andrew Jaegle, Felix Gimeno, Andrew Brock, Andrew Zisserman, Oriol Vinyals, João Carreira
Perceiver: General Perception with Iterative Attention. CoRR (2021)
Yujia Li, Felix Gimeno, Pushmeet Kohli, Oriol Vinyals
Strong Generalization and Efficiency in Neural Programs. CoRR (2020)
Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals
Reinforced Genetic Algorithm Learning for Optimizing Computation Graphs. ICLR (2020)
Vinod Nair, Sergey Bartunov, Felix Gimeno, Ingrid von Glehn, Pawel Lichocki, Ivan Lobov, Brendan O'Donoghue, Nicolas Sonnerat, Christian Tjandraatmadja, Pengming Wang, Ravichandra Addanki, Tharindi Hapuarachchi, Thomas Keck, James Keeling, Pushmeet Kohli, Ira Ktena, Yujia Li, Oriol Vinyals, Yori Zwols
Solving Mixed Integer Programs Using Neural Networks. CoRR (2020)
Aditya Paliwal, Felix Gimeno, Vinod Nair, Yujia Li, Miles Lubin, Pushmeet Kohli, Oriol Vinyals
REGAL: Transfer Learning For Fast Optimization of Computation Graphs. CoRR (2019)
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving. CoRR (2019)