code optimization 1execution time measurement 1GRPO adaptation 1reinforcement learning 1reward design 1sandbox environment 1
From the 1 of 45 linked papers with an AI index.
1 citations · 1 across the 18 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
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…
cs.AI2024
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…