princeton-nlp / USACOLinks
Can Language Models Solve Olympiad Programming?
☆123Updated 11 months ago
Alternatives and similar repositories for USACO
Users that are interested in USACO are comparing it to the libraries listed below
Sorting:
- Repository for the paper Stream of Search: Learning to Search in Language☆152Updated 10 months ago
- ☆125Updated 10 months ago
- ☆100Updated last year
- Replicating O1 inference-time scaling laws☆91Updated last year
- Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"☆183Updated 6 months ago
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples☆112Updated 4 months ago
- Code release for "Debating with More Persuasive LLMs Leads to More Truthful Answers"☆123Updated last year
- ☆108Updated 7 months ago
- Ideas for projects related to Tinker☆132Updated last month
- ☆75Updated last year
- Code and example data for the paper: Rule Based Rewards for Language Model Safety☆203Updated last year
- ☆108Updated last year
- ☆200Updated 8 months ago
- ☆86Updated last month
- ☆85Updated 11 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆125Updated last year
- ☆76Updated last month
- ☆160Updated last year
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆190Updated 9 months ago
- Code and Configs for Asynchronous RLHF: Faster and More Efficient RL for Language Models☆67Updated 7 months ago
- Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…☆76Updated last year
- A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models☆70Updated 9 months ago
- Functional Benchmarks and the Reasoning Gap☆90Updated last year
- "Improving Mathematical Reasoning with Process Supervision" by OPENAI☆114Updated 2 months ago
- [COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents☆210Updated 5 months ago
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆31Updated last year
- ☆41Updated 8 months ago
- [NeurIPS'24 Spotlight] Observational Scaling Laws☆59Updated last year
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆234Updated 5 months ago
- Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)☆54Updated last year