Showing 1–17 of 17 results for author: Burda, Y

Prover-Verifier Games improve legibility of LLM outputs

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

Abstract: One way to increase confidence in the outputs of Large Language Models (LLMs) is to support them with reasoning that is clear and easy to check -- a property we call legibility. We study legibility in the context of solving grade-school math problems and show that optimizing chain-of-thought solutions only for answer correctness can make them less legible. To mitigate the loss in legibility, we pr… ▽ More One way to increase confidence in the outputs of Large Language Models (LLMs) is to support them with reasoning that is clear and easy to check -- a property we call legibility. We study legibility in the context of solving grade-school math problems and show that optimizing chain-of-thought solutions only for answer correctness can make them less legible. To mitigate the loss in legibility, we propose a training algorithm inspired by Prover-Verifier Game from Anil et al. (2021). Our algorithm iteratively trains small verifiers to predict solution correctness, "helpful" provers to produce correct solutions that the verifier accepts, and "sneaky" provers to produce incorrect solutions that fool the verifier. We find that the helpful prover's accuracy and the verifier's robustness to adversarial attacks increase over the course of training. Furthermore, we show that legibility training transfers to time-constrained humans tasked with verifying solution correctness. Over course of LLM training human accuracy increases when checking the helpful prover's solutions, and decreases when checking the sneaky prover's solutions. Hence, training for checkability by small verifiers is a plausible technique for increasing output legibility. Our results suggest legibility training against small verifiers as a practical avenue for increasing legibility of large LLMs to humans, and thus could help with alignment of superhuman models. △ Less

Submitted 1 August, 2024; v1 submitted 18 July, 2024; originally announced July 2024.

Let's Verify Step by Step

Authors: Hunter Lightman, Vineet Kosaraju, Yura Burda, Harri Edwards, Bowen Baker, Teddy Lee, Jan Leike, John Schulman, Ilya Sutskever, Karl Cobbe

Abstract: In recent years, large language models have greatly improved in their ability to perform complex multi-step reasoning. However, even state-of-the-art models still regularly produce logical mistakes. To train more reliable models, we can turn either to outcome supervision, which provides feedback for a final result, or process supervision, which provides feedback for each intermediate reasoning ste… ▽ More In recent years, large language models have greatly improved in their ability to perform complex multi-step reasoning. However, even state-of-the-art models still regularly produce logical mistakes. To train more reliable models, we can turn either to outcome supervision, which provides feedback for a final result, or process supervision, which provides feedback for each intermediate reasoning step. Given the importance of training reliable models, and given the high cost of human feedback, it is important to carefully compare the both methods. Recent work has already begun this comparison, but many questions still remain. We conduct our own investigation, finding that process supervision significantly outperforms outcome supervision for training models to solve problems from the challenging MATH dataset. Our process-supervised model solves 78% of problems from a representative subset of the MATH test set. Additionally, we show that active learning significantly improves the efficacy of process supervision. To support related research, we also release PRM800K, the complete dataset of 800,000 step-level human feedback labels used to train our best reward model. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets

Authors: Alethea Power, Yuri Burda, Harri Edwards, Igor Babuschkin, Vedant Misra

Abstract: In this paper we propose to study generalization of neural networks on small algorithmically generated datasets. In this setting, questions about data efficiency, memorization, generalization, and speed of learning can be studied in great detail. In some situations we show that neural networks learn through a process of "grokking" a pattern in the data, improving generalization performance from ra… ▽ More In this paper we propose to study generalization of neural networks on small algorithmically generated datasets. In this setting, questions about data efficiency, memorization, generalization, and speed of learning can be studied in great detail. In some situations we show that neural networks learn through a process of "grokking" a pattern in the data, improving generalization performance from random chance level to perfect generalization, and that this improvement in generalization can happen well past the point of overfitting. We also study generalization as a function of dataset size and find that smaller datasets require increasing amounts of optimization for generalization. We argue that these datasets provide a fertile ground for studying a poorly understood aspect of deep learning: generalization of overparametrized neural networks beyond memorization of the finite training dataset. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: Correspondence to [email protected]. Code available at: https://github.com/openai/grok

Evaluating Large Language Models Trained on Code

Authors: Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde 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 , et al. (33 additional authors not shown)

Abstract: We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J sol… ▽ More We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J solves 11.4%. Furthermore, we find that repeated sampling from the model is a surprisingly effective strategy for producing working solutions to difficult prompts. Using this method, we solve 70.2% of our problems with 100 samples per problem. Careful investigation of our model reveals its limitations, including difficulty with docstrings describing long chains of operations and with binding operations to variables. Finally, we discuss the potential broader impacts of deploying powerful code generation technologies, covering safety, security, and economics. △ Less

Submitted 14 July, 2021; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: corrected typos, added references, added authors, added acknowledgements

Exploration by Random Network Distillation

Authors: Yuri Burda, Harrison Edwards, Amos Storkey, Oleg Klimov

Abstract: We introduce an exploration bonus for deep reinforcement learning methods that is easy to implement and adds minimal overhead to the computation performed. The bonus is the error of a neural network predicting features of the observations given by a fixed randomly initialized neural network. We also introduce a method to flexibly combine intrinsic and extrinsic rewards. We find that the random net… ▽ More We introduce an exploration bonus for deep reinforcement learning methods that is easy to implement and adds minimal overhead to the computation performed. The bonus is the error of a neural network predicting features of the observations given by a fixed randomly initialized neural network. We also introduce a method to flexibly combine intrinsic and extrinsic rewards. We find that the random network distillation (RND) bonus combined with this increased flexibility enables significant progress on several hard exploration Atari games. In particular we establish state of the art performance on Montezuma's Revenge, a game famously difficult for deep reinforcement learning methods. To the best of our knowledge, this is the first method that achieves better than average human performance on this game without using demonstrations or having access to the underlying state of the game, and occasionally completes the first level. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Large-Scale Study of Curiosity-Driven Learning

Authors: Yuri Burda, Harri Edwards, Deepak Pathak, Amos Storkey, Trevor Darrell, Alexei A. Efros

Abstract: Reinforcement learning algorithms rely on carefully engineering environment rewards that are extrinsic to the agent. However, annotating each environment with hand-designed, dense rewards is not scalable, motivating the need for developing reward functions that are intrinsic to the agent. Curiosity is a type of intrinsic reward function which uses prediction error as reward signal. In this paper:… ▽ More Reinforcement learning algorithms rely on carefully engineering environment rewards that are extrinsic to the agent. However, annotating each environment with hand-designed, dense rewards is not scalable, motivating the need for developing reward functions that are intrinsic to the agent. Curiosity is a type of intrinsic reward function which uses prediction error as reward signal. In this paper: (a) We perform the first large-scale study of purely curiosity-driven learning, i.e. without any extrinsic rewards, across 54 standard benchmark environments, including the Atari game suite. Our results show surprisingly good performance, and a high degree of alignment between the intrinsic curiosity objective and the hand-designed extrinsic rewards of many game environments. (b) We investigate the effect of using different feature spaces for computing prediction error and show that random features are sufficient for many popular RL game benchmarks, but learned features appear to generalize better (e.g. to novel game levels in Super Mario Bros.). (c) We demonstrate limitations of the prediction-based rewards in stochastic setups. Game-play videos and code are at https://pathak22.github.io/large-scale-curiosity/ △ Less

Submitted 13 August, 2018; originally announced August 2018.

Comments: First three authors contributed equally and ordered alphabetically. Website at https://pathak22.github.io/large-scale-curiosity/

Learning Policy Representations in Multiagent Systems

Authors: Aditya Grover, Maruan Al-Shedivat, Jayesh K. Gupta, Yura Burda, Harrison Edwards

Abstract: Modeling agent behavior is central to understanding the emergence of complex phenomena in multiagent systems. Prior work in agent modeling has largely been task-specific and driven by hand-engineering domain-specific prior knowledge. We propose a general learning framework for modeling agent behavior in any multiagent system using only a handful of interaction data. Our framework casts agent model… ▽ More Modeling agent behavior is central to understanding the emergence of complex phenomena in multiagent systems. Prior work in agent modeling has largely been task-specific and driven by hand-engineering domain-specific prior knowledge. We propose a general learning framework for modeling agent behavior in any multiagent system using only a handful of interaction data. Our framework casts agent modeling as a representation learning problem. Consequently, we construct a novel objective inspired by imitation learning and agent identification and design an algorithm for unsupervised learning of representations of agent policies. We demonstrate empirically the utility of the proposed framework in (i) a challenging high-dimensional competitive environment for continuous control and (ii) a cooperative environment for communication, on supervised predictive tasks, unsupervised clustering, and policy optimization using deep reinforcement learning. △ Less

Submitted 31 July, 2018; v1 submitted 17 June, 2018; originally announced June 2018.

Comments: ICML 2018

Continuous Adaptation via Meta-Learning in Nonstationary and Competitive Environments

Authors: Maruan Al-Shedivat, Trapit Bansal, Yuri Burda, Ilya Sutskever, Igor Mordatch, Pieter Abbeel

Abstract: Ability to continuously learn and adapt from limited experience in nonstationary environments is an important milestone on the path towards general intelligence. In this paper, we cast the problem of continuous adaptation into the learning-to-learn framework. We develop a simple gradient-based meta-learning algorithm suitable for adaptation in dynamically changing and adversarial scenarios. Additi… ▽ More Ability to continuously learn and adapt from limited experience in nonstationary environments is an important milestone on the path towards general intelligence. In this paper, we cast the problem of continuous adaptation into the learning-to-learn framework. We develop a simple gradient-based meta-learning algorithm suitable for adaptation in dynamically changing and adversarial scenarios. Additionally, we design a new multi-agent competitive environment, RoboSumo, and define iterated adaptation games for testing various aspects of continuous adaptation strategies. We demonstrate that meta-learning enables significantly more efficient adaptation than reactive baselines in the few-shot regime. Our experiments with a population of agents that learn and compete suggest that meta-learners are the fittest. △ Less

Submitted 23 February, 2018; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: Published as a conference paper at ICLR 2018

On the Quantitative Analysis of Decoder-Based Generative Models

Authors: Yuhuai Wu, Yuri Burda, Ruslan Salakhutdinov, Roger Grosse

Abstract: The past several years have seen remarkable progress in generative models which produce convincing samples of images and other modalities. A shared component of many powerful generative models is a decoder network, a parametric deep neural net that defines a generative distribution. Examples include variational autoencoders, generative adversarial networks, and generative moment matching networks.… ▽ More The past several years have seen remarkable progress in generative models which produce convincing samples of images and other modalities. A shared component of many powerful generative models is a decoder network, a parametric deep neural net that defines a generative distribution. Examples include variational autoencoders, generative adversarial networks, and generative moment matching networks. Unfortunately, it can be difficult to quantify the performance of these models because of the intractability of log-likelihood estimation, and inspecting samples can be misleading. We propose to use Annealed Importance Sampling for evaluating log-likelihoods for decoder-based models and validate its accuracy using bidirectional Monte Carlo. The evaluation code is provided at https://github.com/tonywu95/eval_gen. Using this technique, we analyze the performance of decoder-based models, the effectiveness of existing log-likelihood estimators, the degree of overfitting, and the degree to which these models miss important modes of the data distribution. △ Less

Submitted 6 June, 2017; v1 submitted 14 November, 2016; originally announced November 2016.

Comments: Accepted to ICLR2017

Importance Weighted Autoencoders

Authors: Yuri Burda, Roger Grosse, Ruslan Salakhutdinov

Abstract: The variational autoencoder (VAE; Kingma, Welling (2014)) is a recently proposed generative model pairing a top-down generative network with a bottom-up recognition network which approximates posterior inference. It typically makes strong assumptions about posterior inference, for instance that the posterior distribution is approximately factorial, and that its parameters can be approximated with… ▽ More The variational autoencoder (VAE; Kingma, Welling (2014)) is a recently proposed generative model pairing a top-down generative network with a bottom-up recognition network which approximates posterior inference. It typically makes strong assumptions about posterior inference, for instance that the posterior distribution is approximately factorial, and that its parameters can be approximated with nonlinear regression from the observations. As we show empirically, the VAE objective can lead to overly simplified representations which fail to use the network's entire modeling capacity. We present the importance weighted autoencoder (IWAE), a generative model with the same architecture as the VAE, but which uses a strictly tighter log-likelihood lower bound derived from importance weighting. In the IWAE, the recognition network uses multiple samples to approximate the posterior, giving it increased flexibility to model complex posteriors which do not fit the VAE modeling assumptions. We show empirically that IWAEs learn richer latent space representations than VAEs, leading to improved test log-likelihood on density estimation benchmarks. △ Less

Submitted 7 November, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: Submitted to ICLR 2015

Accurate and Conservative Estimates of MRF Log-likelihood using Reverse Annealing

Authors: Yuri Burda, Roger B. Grosse, Ruslan Salakhutdinov

Abstract: Markov random fields (MRFs) are difficult to evaluate as generative models because computing the test log-probabilities requires the intractable partition function. Annealed importance sampling (AIS) is widely used to estimate MRF partition functions, and often yields quite accurate results. However, AIS is prone to overestimate the log-likelihood with little indication that anything is wrong. We… ▽ More Markov random fields (MRFs) are difficult to evaluate as generative models because computing the test log-probabilities requires the intractable partition function. Annealed importance sampling (AIS) is widely used to estimate MRF partition functions, and often yields quite accurate results. However, AIS is prone to overestimate the log-likelihood with little indication that anything is wrong. We present the Reverse AIS Estimator (RAISE), a stochastic lower bound on the log-likelihood of an approximation to the original MRF model. RAISE requires only the same MCMC transition operators as standard AIS. Experimental results indicate that RAISE agrees closely with AIS log-probability estimates for RBMs, DBMs, and DBNs, but typically errs on the side of underestimating, rather than overestimating, the log-likelihood. △ Less

Submitted 30 December, 2014; originally announced December 2014.

Polynomials invertible in k-radicals

Authors: Yuri Burda, Askold Khovanskii

Abstract: A classic result of Ritt describes polynomials invertible in radicals: they are compositions of power polynomials, Chebyshev polynomials and polynomials of degree at most 4. In this paper we prove that a polynomial invertible in radicals and solutions of equations of degree at most k is a composition of power polynomials, Chebyshev polynomials, polynomials of degree at most k and, if k < 15, certa… ▽ More A classic result of Ritt describes polynomials invertible in radicals: they are compositions of power polynomials, Chebyshev polynomials and polynomials of degree at most 4. In this paper we prove that a polynomial invertible in radicals and solutions of equations of degree at most k is a composition of power polynomials, Chebyshev polynomials, polynomials of degree at most k and, if k < 15, certain polynomials with exceptional monodromy groups. A description of these exceptional polynomials is given. The proofs rely on classification of monodromy groups of primitive polynomials obtained by Müller based on group-theoretical results of Feit and on previous work on primitive polynomials with exceptional monodromy groups by many authors. △ Less

Submitted 23 September, 2012; originally announced September 2012.

Comments: 19 pages, 14 figures

MSC Class: 12F10; 20E34

Signatures of Branched Coverings

Authors: Yuri Burda, Askold Khovanskii

Abstract: In this paper we deal with branched coverings over the complement to finitely many exceptional points on the Riemann sphere having the property that the local monodromy around each of the branching points is of finite order. To such a covering we assign its \textit{signature}, i.e. the set of its exceptional and branching points together with the orders of local monodromy operators around the bran… ▽ More In this paper we deal with branched coverings over the complement to finitely many exceptional points on the Riemann sphere having the property that the local monodromy around each of the branching points is of finite order. To such a covering we assign its \textit{signature}, i.e. the set of its exceptional and branching points together with the orders of local monodromy operators around the branching points. What can be said about the monodromy group of a branched covering if its signature is known? It seems at first that the answer is nothing or next to nothing. Indeed, generically it is so. However there is a (small) list of signatures of \textit{elliptic} and \textit{parabolic} types, for which the monodromy group can be described completely, or at least determined up to an abelian factor. This appendix is devoted to investigation of these signatures. For all these signatures (with one exception) the corresponding monodromy groups turn out to be solvable. Linear differential equations of Fuchs type related to these signatures are solvable in quadratures (in the case of elliptic signatures --- in algebraic functions). A well-known example of this type is provided by Euler differential equations, which can be reduced to linear differential equations with constant coefficients. The algebraic functions related to all (but one) of these signatures are expressible in radicals. A simple example of this kind is provided by the possibility to express the inverse of a Chebyshev polynomial in radicals. Another example of this kind is provided by functions related to division theorems for the argument of elliptic functions. Such functions play a central role in the work [1] of Ritt. △ Less

Submitted 5 July, 2012; originally announced July 2012.

Comments: To be submitted for publication in proceedings of 6th European Congress of Mathematics

MSC Class: 34M15

On a Problem of Gromov about Generalizing Alexandrov-Fenchel Inequality

Authors: Yuri Burda

Abstract: In this note we give an answer to a question about mixed volumes asked by Gromov in his paper "Convex Sets and Kahler Manifolds". For reader's convenience we remind definitions and some of the properties of mixed volumes and mixed discriminants. In this note we give an answer to a question about mixed volumes asked by Gromov in his paper "Convex Sets and Kahler Manifolds". For reader's convenience we remind definitions and some of the properties of mixed volumes and mixed discriminants. △ Less

Submitted 16 October, 2011; v1 submitted 3 October, 2011; originally announced October 2011.

Comments: 4 pages, an arithmetic mistake and few omissions have been corrected

Coverings over Tori and Topological Approach to Klein's Resolvent Problem

Authors: Yuri Burda

Abstract: This work answers the question what coverings over a topological torus can be induced from a covering over a space of dimension $k$. The answer to this question is then applied in algebro-geometric context to present obstructions to transforming an algebraic equation depending on several parameters to an equation depending on less parameters by means of a rational transformation. This work answers the question what coverings over a topological torus can be induced from a covering over a space of dimension $k$. The answer to this question is then applied in algebro-geometric context to present obstructions to transforming an algebraic equation depending on several parameters to an equation depending on less parameters by means of a rational transformation. △ Less

Submitted 18 July, 2011; originally announced July 2011.

Comments: 35 pages, 1 figure

MSC Class: 14E20; 14H30; 12G99; 14B10; 14B20; 57R20;

Branching Data for Algebraic Functions and Representability by Radicals

Authors: Yuri Burda, Askold Khovanskii

Abstract: The branching data of an algebraic function is a list of orders of local monodromies around branching points. We present branching data that ensure that the algebraic functions having them are representable by radicals. This paper is a review of recent work by the authors and of closely related classical work by Ritt. The branching data of an algebraic function is a list of orders of local monodromies around branching points. We present branching data that ensure that the algebraic functions having them are representable by radicals. This paper is a review of recent work by the authors and of closely related classical work by Ritt. △ Less

Submitted 3 April, 2011; originally announced April 2011.

Comments: Submitted for publication to Banach Center Publications on April 1st, 2011

MSC Class: Primary 12F10; Secondary 14H05; 14H30

Around rational functions invertible in radicals

Authors: Yuri Burda

Abstract: A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the minimal Galois covering dominating them has genus 0 or 1) and simple local topol- ogy (branching data). Explicit formulae for these functions are obtained as well as… ▽ More A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the minimal Galois covering dominating them has genus 0 or 1) and simple local topol- ogy (branching data). Explicit formulae for these functions are obtained as well as their classification up to different equivalence relations. △ Less

Submitted 21 May, 2010; originally announced May 2010.