Jan Leike
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
10
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | 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 |
| 2024 | ICLR | 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 |
| 2024 | ICML | 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 |
| 2021 | ICLR | Quantifying Differences in Reward Functions. | Adam Gleave, Michael Dennis, Shane Legg, Stuart Russell, Jan Leike |
| 2020 | ICML | Learning Human Objectives by Evaluating Hypothetical Behavior. | Siddharth Reddy, Anca D. Dragan, Sergey Levine, Shane Legg, Jan Leike |
| 2020 | IJCAI | Pitfalls of Learning a Reward Function Online. | Stuart Armstrong, Jan Leike, Laurent Orseau, Shane Legg |
| 2019 | ICLR | Learning to Understand Goal Specifications by Modelling Reward. | Dzmitry Bahdanau, Felix Hill, Jan Leike, Edward Hughes, Seyed Arian Hosseini, Pushmeet Kohli, Edward Grefenstette |
| 2018 | ICLR | Jointly Learning "What" and "How" from Instructions and Goal-States. | Dzmitry Bahdanau, Felix Hill, Jan Leike, Edward Hughes, Pushmeet Kohli, Edward Grefenstette |
| 2018 | TACAS | Geometric Nontermination Arguments. | Jan Leike, Matthias Heizmann |
| 2017 | IJCAI | Universal Reinforcement Learning Algorithms: Survey and Experiments. | John Aslanides, Jan Leike, Marcus Hutter |
| 2017 | IJCAI | On Thompson Sampling and Asymptotic Optimality. | Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter |
| 2016 | AISTATS | Loss Bounds and Time Complexity for Speed Priors. | Daniel Filan, Jan Leike, Marcus Hutter |
| 2016 | UAI | Thompson Sampling is Asymptotically Optimal in General Environments. | Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter |
| 2016 | UAI | A Formal Solution to the Grain of Truth Problem. | Jan Leike, Jessica Taylor, Benya Fallenstein |
| 2016 | TACAS | Ultimate Automizer with Two-track Proofs - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schtzle, Andreas Podelski |
| 2015 | ALT | Solomonoff Induction Violates Nicod's Criterion. | Jan Leike, Marcus Hutter |
| 2015 | ALT | On the Computability of Solomonoff Induction and Knowledge-Seeking. | Jan Leike, Marcus Hutter |
| 2015 | COLT | Bad Universal Priors and Notions of Optimality. | Jan Leike, Marcus Hutter |
| 2015 | UAI | On the Computability of AIXI. | Jan Leike, Marcus Hutter |
| 2015 | TACAS | Ultimate Automizer with Array Interpolation - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski |
| 2014 | ALT | Indefinitely Oscillating Martingales. | Jan Leike, Marcus Hutter |
| 2014 | TACAS | Ranking Templates for Linear Loops. | Jan Leike, Matthias Heizmann |
| 2014 | VMCAI | Synthesis for Polynomial Lasso Programs. | Jan Leike, Ashish Tiwari |
| 2013 | ATVA | Linear Ranking for Linear Lasso Programs. | Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski |