Jan Leike

According to our database, Jan Leike authored at least 50 papers between 2013 and 2024.

Collaborative distances:

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

2024

Prover-Verifier Games improve legibility of LLM outputs.

Jan Hendrik Kirchner, Yining Chen, Harri Edwards, Jan Leike, Nat McAleese, Yuri Burda

CoRR, 2024

LLM Critics Help Catch LLM Bugs.

Nat McAleese, Rai Michael Pokorny, Juan Felipe Ceron Uribe, Evgenia Nitishinskaya, Maja Trebacz, Jan Leike

CoRR, 2024

Scaling and evaluating sparse autoencoders.

Leo Gao, Tom Dupré la Tour, Henk Tillman, Gabriel Goh, Rajan Troll, Alec Radford, Ilya Sutskever, Jan Leike, Jeffrey Wu

CoRR, 2024

Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision.

Collin Burns, Pavel Izmailov, Jan Hendrik Kirchner, Bowen Baker, Leo Gao, Leopold Aschenbrenner, Yining Chen, Adrien Ecoffet, Manas Joglekar, Jan Leike, Ilya Sutskever, Jeffrey Wu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Let's Verify Step by Step.

Hunter Lightman, Vineet Kosaraju, Yuri Burda, Harrison Edwards, Bowen Baker, Teddy Lee, Jan Leike, John Schulman, Ilya Sutskever, Karl Cobbe

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2022

Self-critiquing models for assisting human evaluators.

William Saunders, Catherine Yeh, Jeff Wu, Steven Bills, Long Ouyang, Jonathan Ward, Jan Leike

CoRR, 2022

Safe Deep RL in 3D Environments using Human Feedback.

Matthew Rahtz, Vikrant Varma, Ramana Kumar, Zachary Kenton, Shane Legg, Jan Leike

CoRR, 2022

Training language models to follow instructions with human feedback.

Long Ouyang, Jeffrey Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, John Schulman, Jacob Hilton, Fraser Kelton, Luke Miller, Maddie Simens, Amanda Askell, Peter Welinder, Paul F. Christiano, Jan Leike, Ryan Lowe

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Institutionalizing ethics in AI through broader impact requirements.

Carina E. A. Prunkl, Carolyn Ashurst, Markus Anderljung, Helena Webb, Jan Leike, Allan Dafoe

Nat. Mach. Intell., 2021

Recursively Summarizing Books with Human Feedback.

Jeff Wu, Long Ouyang, Daniel M. Ziegler, Nisan Stiennon, Ryan Lowe, Jan Leike, Paul F. Christiano

CoRR, 2021

Evaluating Large Language Models Trained on Code.

Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Pondé de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, Alex Ray, Raul Puri, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Joshua Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, Wojciech Zaremba

CoRR, 2021

Institutionalising Ethics in AI through Broader Impact Requirements.

Carina E. A. Prunkl, Carolyn Ashurst, Markus Anderljung, Helena Webb, Jan Leike, Allan Dafoe

CoRR, 2021

Quantifying Differences in Reward Functions.

Adam Gleave, Michael Dennis, Shane Legg, Stuart Russell, Jan Leike

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Active Reinforcement Learning: Observing Rewards at a Cost.

David Krueger, Jan Leike, Owain Evans, John Salvatier

CoRR, 2020

Hidden Incentives for Auto-Induced Distributional Shift.

David Krueger, Tegan Maharaj, Jan Leike

CoRR, 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

Learning Human Objectives by Evaluating Hypothetical Behavior.

Siddharth Reddy, Anca D. Dragan, Sergey Levine, Shane Legg, Jan Leike

Proceedings of the 37th International Conference on Machine Learning, 2020

2019

Learning to Understand Goal Specifications by Modelling Reward.

Dzmitry Bahdanau, Felix Hill, Jan Leike, Edward Hughes, Seyed Arian Hosseini, Pushmeet Kohli, Edward Grefenstette

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

On the computability of Solomonoff induction and AIXI.

Jan Leike, Marcus Hutter

Theor. Comput. Sci., 2018

Scaling shared model governance via model splitting.

Miljan Martic, Jan Leike, Andrew Trask, Matteo Hessel, Shane Legg, Pushmeet Kohli

CoRR, 2018

Scalable agent alignment via reward modeling: a research direction.

Jan Leike, David Krueger, Tom Everitt, Miljan Martic, Vishal Maini, Shane Legg

CoRR, 2018

Learning to Follow Language Instructions with Adversarial Reward Induction.

Dzmitry Bahdanau, Felix Hill, Jan Leike, Edward Hughes, Pushmeet Kohli, Edward Grefenstette

CoRR, 2018

Geometric Nontermination Arguments.

Jan Leike, Matthias Heizmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Reward learning from human preferences and demonstrations in Atari.

Borja Ibarz, Jan Leike, Tobias Pohlen, Geoffrey Irving, Shane Legg, Dario Amodei

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

Jointly Learning "What" and "How" from Instructions and Goal-States.

Dzmitry Bahdanau, Felix Hill, Jan Leike, Edward Hughes, Pushmeet Kohli, Edward Grefenstette

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

AI Safety Gridworlds.

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

CoRR, 2017

Generalised Discount Functions applied to a Monte-Carlo AImu Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

CoRR, 2017

Deep Reinforcement Learning from Human Preferences.

Paul F. Christiano, Jan Leike, Tom B. Brown, Miljan Martic, Shane Legg, Dario Amodei

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 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

Universal Reinforcement Learning Algorithms: Survey and Experiments.

John Aslanides, Jan Leike, Marcus Hutter

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

Generalised Discount Functions applied to a Monte-Carlo AI u Implementation.

Sean Lamont, John Aslanides, Jan Leike, Marcus Hutter

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Nonparametric General Reinforcement Learning.

Jan Leike

CoRR, 2016

Exploration Potential.

Jan Leike

CoRR, 2016

A Formal Solution to the Grain of Truth Problem.

Jan Leike, Jessica Taylor, Benya Fallenstein

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

Ultimate Automizer with Two-track Proofs - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Loss Bounds and Time Complexity for Speed Priors.

Daniel Filan, Jan Leike, Marcus Hutter

Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, 2016

2015

Ranking Templates for Linear Loops.

Jan Leike, Matthias Heizmann

Log. Methods Comput. Sci., 2015

On the Computability of AIXI.

Jan Leike, Marcus Hutter

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Bad Universal Priors and Notions of Optimality.

Jan Leike, Marcus Hutter

Proceedings of The 28th Conference on Learning Theory, 2015

On the Computability of Solomonoff Induction and Knowledge-Seeking.

Jan Leike, Marcus Hutter

Proceedings of the Algorithmic Learning Theory - 26th International Conference, 2015

Solomonoff Induction Violates Nicod's Criterion.

Jan Leike, Marcus Hutter

Proceedings of the Algorithmic Learning Theory - 26th International Conference, 2015

Sequential Extensions of Causal and Evidential Decision Theory.

Tom Everitt, Jan Leike, Marcus Hutter

Proceedings of the Algorithmic Decision Theory - 4th International Conference, 2015

A Definition of Happiness for Reinforcement Learning Agents.

Mayank Daswani, Jan Leike

Proceedings of the Artificial General Intelligence, 2015

2014

Geometric Series as Nontermination Arguments for Linear Lasso Programs.

Jan Leike, Matthias Heizmann

CoRR, 2014

Ranking Function Synthesis for Linear Lasso Programs.

Jan Leike

CoRR, 2014

Synthesis for Polynomial Lasso Programs.

Jan Leike, Ashish Tiwari

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Indefinitely Oscillating Martingales.

Jan Leike, Marcus Hutter

Proceedings of the Algorithmic Learning Theory - 25th International Conference, 2014

2013

Linear Ranking for Linear Lasso Programs.

Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski

Proceedings of the Automated Technology for Verification and Analysis, 2013