Current approaches to building general-purpose AI systems tend to produc...
Mathematical proof aims to deliver confident conclusions, but a very sim...
Making language models bigger does not inherently make them better at
fo...
A major challenge for scaling machine learning is training models to per...
As language models become more powerful, training and evaluation are
inc...
Reward learning enables the application of reinforcement learning (RL) t...
Many real world learning tasks involve complex or hard-to-specify object...
We introduce a two-player contest for evaluating the safety and robustne...
To make AI systems broadly useful for challenging real-world tasks, we n...
We give a protocol for producing certifiable randomness from a single
un...
For sophisticated reinforcement learning (RL) systems to interact useful...
Generative adversarial networks (GANs) are a recently proposed class of
...
Developing control policies in simulation is often more practical and sa...
Rapid progress in machine learning and artificial intelligence (AI) has
...
Theano is a Python library that allows to define, optimize, and evaluate...