354 citations · 1.2k across the 61 of their papers we have counts for
6 papers · 1 filter
Automatic Textbook Formalization
Fabian Gloeckle, Ahmad Rammal, Charles Arnal +4
We present a case study where an automatic AI system formalizes a textbook with more than 500 pages of graduate-level algebraic combinatorics to Lean. The resulting formalization r…
The Llama 3 Herd of Models
Aaron Grattafiori, Abhimanyu Dubey, Abhinav Jauhri +556
Modern artificial intelligence (AI) systems are powered by foundation models. This paper presents a new set of foundation models, called Llama 3. It is a herd of language models th…
Why Build an Assistant in Minecraft?
Arthur Szlam, Jonathan Gray, Kavya Srinet +11
In this document we describe a rationale for a research program aimed at building an open "assistant" in the game Minecraft, in order to make progress on the problems of natural la…
Value Propagation Networks
Nantas Nardelli, Gabriel Synnaeve, Zeming Lin +3
We present Value Propagation (VProp), a set of parameter-efficient differentiable planning modules built on Value Iteration which can successfully be trained using reinforcement le…
STARDATA: A StarCraft AI Research Dataset
Zeming Lin, Jonas Gehring, Vasil Khalidov +1
We release a dataset of 65646 StarCraft replays that contains 1535 million frames and 496 million player actions. We provide full game state data along with the original replays th…
A Dataset for StarCraft AI \& an Example of Armies Clustering
Gabriel Synnaeve, Pierre Bessiere
This paper advocates the exploration of the full state of recorded real-time strategy (RTS) games, by human or robotic players, to discover how to reason about tactics and strategy…