Article
Tiny Agents: a MCP-powered agent in 50 lines of code
•
111
David Quispe PRO
daqc
AI & ML interests
Education
Recent Activity
upvoted
an
article
about 15 hours ago
Tiny Agents: a MCP-powered agent in 50 lines of code
updated
a dataset
5 days ago
somosnlp-hackathon-2025/reto-preferencias-v0-Peru-BLEnDCategories
published
a dataset
5 days ago
somosnlp-hackathon-2025/reto-preferencias-v0-Peru-BLEnDCategories
Organizations
daqc's activity
upvoted
an
article
about 15 hours ago
updated
a
dataset
5 days ago
published
a
dataset
5 days ago
upvoted
a
paper
7 days ago
upvoted
2
articles
11 days ago
Article
NVIDIA's GTC 2025 Announcement for Physical AI Developers: New Open Models and Datasets
•
35
Article
Hugging Face to sell open-source robots thanks to Pollen Robotics acquisition 🤖
•
38
upvoted
2
articles
20 days ago
Article
Welcome Gemma 3: Google's all new multimodal, multilingual, long context open LLM
•
400
Article
Welcome Llama 4 Maverick & Scout on Hugging Face!
•
140
liked
2
Spaces
22 days ago
upvoted
a
paper
22 days ago
upvoted
4
papers
about 1 month ago
Think Twice: Enhancing LLM Reasoning by Scaling Multi-round Test-time Thinking
Paper
•
2503.19855
•
Published
•
26
WikiAutoGen: Towards Multi-Modal Wikipedia-Style Article Generation
Paper
•
2503.19065
•
Published
•
11
MDocAgent: A Multi-Modal Multi-Agent Framework for Document Understanding
Paper
•
2503.13964
•
Published
•
19
Global MMLU: Understanding and Addressing Cultural and Linguistic Biases in Multilingual Evaluation
Paper
•
2412.03304
•
Published
•
19
reacted to
lewtun's
post with 🔥
about 1 month ago
Post
2458
Introducing OlympicCoder: a series of open reasoning models that can solve olympiad-level programming problems 🧑💻
- 7B open-r1/OlympicCoder-7B
- 32B open-r1/OlympicCoder-32B
We find that OlympicCoder models outperform Claude 3.7 Sonnet, as well as others over 100x larger 💪
Together with the models, we are releasing:
📊CodeForces-CoTs: new dataset of code problems from the most popular competitive coding platform, with R1 traces in C++ and Python open-r1/codeforces-cots
🏆 IOI'2024: a new benchmark of VERY hard programming problems where even frontier models struggle to match human performance open-r1/ioi
For links to the models and datasets, check out our latest progress report from Open R1: https://huggingface.co/blog/open-r1/update-3
- 7B open-r1/OlympicCoder-7B
- 32B open-r1/OlympicCoder-32B
We find that OlympicCoder models outperform Claude 3.7 Sonnet, as well as others over 100x larger 💪
Together with the models, we are releasing:
📊CodeForces-CoTs: new dataset of code problems from the most popular competitive coding platform, with R1 traces in C++ and Python open-r1/codeforces-cots
🏆 IOI'2024: a new benchmark of VERY hard programming problems where even frontier models struggle to match human performance open-r1/ioi
For links to the models and datasets, check out our latest progress report from Open R1: https://huggingface.co/blog/open-r1/update-3
- 1 reply
reacted to
lewtun's
post with ❤️
about 1 month ago
Post
5151
Introducing OpenR1-Math-220k!
open-r1/OpenR1-Math-220k
The community has been busy distilling DeepSeek-R1 from inference providers, but we decided to have a go at doing it ourselves from scratch 💪
What’s new compared to existing reasoning datasets?
♾ Based on AI-MO/NuminaMath-1.5: we focus on math reasoning traces and generate answers for problems in NuminaMath 1.5, an improved version of the popular NuminaMath-CoT dataset.
🐳 800k R1 reasoning traces: We generate two answers for 400k problems using DeepSeek R1. The filtered dataset contains 220k problems with correct reasoning traces.
📀 512 H100s running locally: Instead of relying on an API, we leverage vLLM and SGLang to run generations locally on our science cluster, generating 180k reasoning traces per day.
⏳ Automated filtering: We apply Math Verify to only retain problems with at least one correct answer. We also leverage Llama3.3-70B-Instruct as a judge to retrieve more correct examples (e.g for cases with malformed answers that can’t be verified with a rules-based parser)
📊 We match the performance of DeepSeek-Distill-Qwen-7B by finetuning Qwen-7B-Math-Instruct on our dataset.
🔎 Read our blog post for all the nitty gritty details: https://huggingface.co/blog/open-r1/update-2
open-r1/OpenR1-Math-220k
The community has been busy distilling DeepSeek-R1 from inference providers, but we decided to have a go at doing it ourselves from scratch 💪
What’s new compared to existing reasoning datasets?
♾ Based on AI-MO/NuminaMath-1.5: we focus on math reasoning traces and generate answers for problems in NuminaMath 1.5, an improved version of the popular NuminaMath-CoT dataset.
🐳 800k R1 reasoning traces: We generate two answers for 400k problems using DeepSeek R1. The filtered dataset contains 220k problems with correct reasoning traces.
📀 512 H100s running locally: Instead of relying on an API, we leverage vLLM and SGLang to run generations locally on our science cluster, generating 180k reasoning traces per day.
⏳ Automated filtering: We apply Math Verify to only retain problems with at least one correct answer. We also leverage Llama3.3-70B-Instruct as a judge to retrieve more correct examples (e.g for cases with malformed answers that can’t be verified with a rules-based parser)
📊 We match the performance of DeepSeek-Distill-Qwen-7B by finetuning Qwen-7B-Math-Instruct on our dataset.
🔎 Read our blog post for all the nitty gritty details: https://huggingface.co/blog/open-r1/update-2
updated
a
model
about 1 month ago