As part of our open reproduction of R1, we have roughly reproduced DeepSeek's MATH-500 eval numbers with Hugging Face's lighteval suite.
We had to improve our latex parser to get the last few %.
A month ago I joined🤗@huggingface as a Research Scientist. They're great: opening an office in Lyon, allowing me to work on open-source projects and trusting me to define my own schedule. I am proud to have added the Decision Transformer to🤗transformers. huggingface.co/blog/decision-…
Sneak peak of WIP of an upcoming FPS environment for my @godotengine Reinforcement Learning library.
Agents trained using async PPO and population-based training with sample-factory.
👉 github.com/edbeeching/god…
It will soon be available on the @huggingface hub!
We will soon release the @huggingface LLM alignment handbook. Using these recipes you can build state of the art chatbots such as Zephyr-7b, released today. Register your interest by starring the github github.com/huggingface/al…
You can find out about Zephyr-7b in this thread:
The winning AI Math Olypiad model is out!
Using an approach we call Self-Consistency with Tool Integrated Reasoning. Constraints of Kaggle (T4 GPUs) required us to use activation aware quantization in order to not degrade model performance. Details and code to follow next week.
Introducing NuminaMath-7B-TIR, the small but mighty model that won the first progress prize of the AI Math Olympiad 🥇!
> Fine-tuned with iterative SFT on DeepSeekMath-7B from @deepseek_ai
> Stage 1: learn math with chain of thought samples
> Stage 2: learn code with
We are proud to release the first open-source multi-modal, multi-task and multi-domain model! Called JAT. A crucial step for generalist agents. What started out as an open reproduction of GATO with @QGallouedec, @ClementRomac and myself, has evolved into a far greater project.
We have just released the ✨NuminaMath datasets: the largest collection of ~1M math competition problem-solution pairs, ranging in difficulty from junior challenge to Math Olympiad preselection.
These datasets were used to win the 1st Progress Prize of the AI Math Olympiad and
When I am not busy Aligning LLMs, I spend my free time developing Godot RL Agents, an RL library for the #Godot game engine. Today we released version 0.7.0 with a number of new features, bugfixes and examples. Thanks to all the contributors for creating cool example envs:
Announcing the release of Sample Factory 2.0. A lightning fast production grade Deep RL library.
Sample Factory 2.0 is a collaboration between @petrenko_ai from @uscresl and 🤗 @huggingface.
👉 github.com/alex-petrenko/…
Find out more on this 🧵
We have a new leader on the Open LLM leaderboard.
Congrats to ausboss/llama-30b-supercot!
They combined chain-of-thought datasets, code explanations and instructions, snippets, logical deductions and Alpaca GPT-4 prompts.
Check it out here: huggingface.co/spaces/Hugging…
Godot RL Agents v0.4.0 has been released.
👉github.com/edbeeching/god…
This includes:
‣ Godot 4 support
‣ 3 RL frameworks: Sample Factory, Stable Baselines 3 and rllib
‣ 2 Advanced Racing and FPS environments
‣ Updated docs (still WIP🙂)
Find out more in this thread 🧵
Thanks to the community for their feedback on DPO vs. IPO vs. KTO. In particular, we thank the authors of IPO, who have worked with us this week to improve TRL's IPO implementation. IPO now is comparable to DPO! Check out the updated blogpost.
huggingface.co/blog/pref-tuni…