Search Results for author:
Found 7 papers, 4 papers with code
Llemma: An Open Language Model For Mathematics
We present Llemma, a large language model for mathematics.
Ranked #5 on
Automated Theorem Proving
on miniF2F-test
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
We hope that our dataset, openly released on the Hugging Face Hub, will help spur advances in the reasoning abilities of large language models.
STEVE-1: A Generative Model for Text-to-Behavior in Minecraft
Constructing AI models that respond to text instructions is challenging, especially for sequential decision-making tasks.
Large Language Models Are Human-Level Prompt Engineers
By conditioning on natural language instructions, large language models (LLMs) have displayed impressive capabilities as general-purpose computers.
You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments
In all tested domains, ESPER achieves significantly better alignment between the target return and achieved return than simply conditioning on returns.
Learning Domain Invariant Representations in Goal-conditioned Block MDPs
These changes are often spurious and unrelated to the underlying problem, such as background shifts for visual input agents.
Planning from Pixels using Inverse Dynamics Models
Learning task-agnostic dynamics models in high-dimensional observation spaces can be challenging for model-based RL agents.
