Laurent Orseau

According to our database, Laurent Orseau authored at least 44 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Learning Universal Predictors.

Jordi Grau-Moya, Tim Genewein, Marcus Hutter, Laurent Orseau, Grégoire Delétang, Elliot Catt, Anian Ruoss, Li Kevin Wenliang, Christopher Mattern, Matthew Aitchison, Joel Veness

CoRR, 2024

2023

Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search.

Abbas Mehrabian, Ankit Anand, Hyunjik Kim, Nicolas Sonnerat, Matej Balog, Gheorghe Comanici, Tudor Berariu, Andrew Lee, Anian Ruoss, Anna Bulanova, Daniel Toyama, Sam Blackwell, Bernardino Romera-Paredes, Petar Velickovic, Laurent Orseau, Joonkyung Lee, Anurag Murty Naredla, Doina Precup, Adam Zsolt Wagner

CoRR, 2023

Language Modeling Is Compression.

Grégoire Delétang, Anian Ruoss, Paul-Ambroise Duquenne, Elliot Catt, Tim Genewein, Christopher Mattern, Jordi Grau-Moya, Li Kevin Wenliang, Matthew Aitchison, Laurent Orseau, Marcus Hutter, Joel Veness

CoRR, 2023

Line Search for Convex Minimization.

Laurent Orseau, Marcus Hutter

CoRR, 2023

Levin Tree Search with Context Models.

Laurent Orseau, Marcus Hutter, Levi H. S. Lelis

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Memory-Based Meta-Learning on Non-Stationary Distributions.

Tim Genewein, Grégoire Delétang, Anian Ruoss, Li Kevin Wenliang, Elliot Catt, Vincent Dutordoir, Jordi Grau-Moya, Laurent Orseau, Marcus Hutter, Joel Veness

Proceedings of the International Conference on Machine Learning, 2023

2022

Proving Theorems using Incremental Learning and Hindsight Experience Replay.

Eser Aygün, Ankit Anand, Laurent Orseau, Xavier Glorot, Stephen Marcus McAleer, Vlad Firoiu, Lei M. Zhang, Doina Precup, Shibl Mourad

Proceedings of the International Conference on Machine Learning, 2022

2021

Isotuning With Applications To Scale-Free Online Learning.

Laurent Orseau, Marcus Hutter

CoRR, 2021

Proving Theorems using Incremental Learning and Hindsight Experience Replay.

Eser Aygün, Laurent Orseau, Ankit Anand, Xavier Glorot, Vlad Firoiu, Lei M. Zhang, Doina Precup, Shibl Mourad

CoRR, 2021

Training a First-Order Theorem Prover from Synthetic Data.

Vlad Firoiu, Eser Aygün, Ankit Anand, Zafarali Ahmed, Xavier Glorot, Laurent Orseau, Lei M. Zhang, Doina Precup, Shibl Mourad

CoRR, 2021

Policy-Guided Heuristic Search with Guarantees.

Laurent Orseau, Levi H. S. Lelis

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Learning to Prove from Synthetic Theorems.

Eser Aygün, Zafarali Ahmed, Ankit Anand, Vlad Firoiu, Xavier Glorot, Laurent Orseau, Doina Precup, Shibl Mourad

CoRR, 2020

Logarithmic Pruning is All You Need.

Laurent Orseau, Marcus Hutter, Omar Rivasplata

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Avoiding Side Effects By Considering Future Tasks.

Victoria Krakovna, Laurent Orseau, Richard Ngo, Miljan Martic, Shane Legg

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Pitfalls of Learning a Reward Function Online.

Stuart Armstrong, Jan Leike, Laurent Orseau, Shane Legg

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Zooming Cautiously: Linear-Memory Heuristic Search With Node Expansion Guarantees.

Laurent Orseau, Levi H. S. Lelis, Tor Lattimore

CoRR, 2019

Penalizing Side Effects using Stepwise Relative Reachability.

Victoria Krakovna, Laurent Orseau, Miljan Martic, Shane Legg

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019

Iterative Budgeted Exponential Search.

Malte Helmert, Tor Lattimore, Levi H. S. Lelis, Laurent Orseau, Nathan R. Sturtevant

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

An Investigation of Model-Free Planning.

Arthur Guez, Mehdi Mirza, Karol Gregor, Rishabh Kabra, Sébastien Racanière, Theophane Weber, David Raposo, Adam Santoro, Laurent Orseau, Tom Eccles, Greg Wayne, David Silver, Timothy P. Lillicrap

Proceedings of the 36th International Conference on Machine Learning, 2019

2018

Measuring and avoiding side effects using relative reachability.

Victoria Krakovna, Laurent Orseau, Miljan Martic, Shane Legg

CoRR, 2018

Agents and Devices: A Relative Definition of Agency.

Laurent Orseau, Simon McGregor McGill, Shane Legg

CoRR, 2018

Single-Agent Policy Tree Search With Guarantees.

Laurent Orseau, Levi Lelis, Tor Lattimore, Theophane Weber

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

AI Safety Gridworlds.

Jan Leike, Miljan Martic, Victoria Krakovna, Pedro A. Ortega, Tom Everitt, Andrew Lefrancq, Laurent Orseau, Shane Legg

CoRR, 2017

Reinforcement Learning with a Corrupted Reward Channel.

Tom Everitt, Victoria Krakovna, Laurent Orseau, Marcus Hutter, Shane Legg

CoRR, 2017

On Thompson Sampling and Asymptotic Optimality.

Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reinforcement Learning with a Corrupted Reward Channel.

Tom Everitt, Victoria Krakovna, Laurent Orseau, Shane Legg

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Soft-Bayes: Prod for Mixtures of Experts with Log-Loss.

Laurent Orseau, Tor Lattimore, Shane Legg

Proceedings of the International Conference on Algorithmic Learning Theory, 2017

2016

Safely Interruptible Agents.

Laurent Orseau, Stuart Armstrong

Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

Thompson Sampling is Asymptotically Optimal in General Environments.

Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter

Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

2015

Online Learning of k-CNF Boolean Functions.

Joel Veness, Marcus Hutter, Laurent Orseau, Marc G. Bellemare

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Universal knowledge-seeking agents.

Laurent Orseau

Theor. Comput. Sci., 2014

Teleporting Universal Intelligent Agents.

Laurent Orseau

Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

The Multi-slot Framework: A Formal Model for Multiple, Copiable AIs.

Laurent Orseau

Proceedings of the Artificial General Intelligence - 7th International Conference, 2014

2013

Asymptotic non-learnability of universal agents with computable horizon functions.

Laurent Orseau

Theor. Comput. Sci., 2013

Reinforcement Learning (Dagstuhl Seminar 13321).

Peter Auer, Marcus Hutter, Laurent Orseau

Dagstuhl Reports, 2013

Universal Knowledge-Seeking Agents for Stochastic Environments.

Laurent Orseau, Tor Lattimore, Marcus Hutter

Proceedings of the Algorithmic Learning Theory - 24th International Conference, 2013

2012

Memory Issues of Intelligent Agents.

Laurent Orseau, Mark B. Ring

Proceedings of the Artificial General Intelligence - 5th International Conference, 2012

Space-Time Embedded Intelligence.

Laurent Orseau, Mark B. Ring

Proceedings of the Artificial General Intelligence - 5th International Conference, 2012

2011

Delusion, Survival, and Intelligent Agents.

Mark B. Ring, Laurent Orseau

Proceedings of the Artificial General Intelligence - 4th International Conference, 2011

Self-Modification and Mortality in Artificial Agents.

Laurent Orseau, Mark B. Ring

Proceedings of the Artificial General Intelligence - 4th International Conference, 2011

2010

Optimality Issues of Universal Greedy Agents with Static Priors.

Laurent Orseau

Proceedings of the Algorithmic Learning Theory, 21st International Conference, 2010

2007

Imitation algorithmique: apprentissage incrémental en-ligne de séquences. (Algorithmic imitation: online incremental leaning of sequences).

Laurent Orseau

PhD thesis, 2007

Learning to Count by Think Aloud Imitation.

Laurent Orseau

Proceedings of the IJCAI 2007, 2007

2005

Short Term Memories and Forcing the Re-use of Knowledge for Generalization.

Laurent Orseau

Proceedings of the Artificial Neural Networks: Formal Models and Their Applications, 2005