☆342Jun 5, 2025Updated 8 months ago
Alternatives and similar repositories for Super_MARIO
Users that are interested in Super_MARIO are comparing it to the libraries listed below
Sorting:
- ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)☆692Jan 20, 2025Updated last year
- This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.☆329Jan 29, 2026Updated last month
- ☆52Mar 5, 2025Updated 11 months ago
- Implementation for "Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs"☆391Jan 19, 2025Updated last year
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆285May 26, 2024Updated last year
- ☆29May 8, 2024Updated last year
- ☆969Jan 23, 2025Updated last year
- ☆1,033Dec 17, 2024Updated last year
- OpenR: An Open Source Framework for Advanced Reasoning with Large Language Models☆1,833Jan 17, 2025Updated last year
- [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*☆120Dec 10, 2024Updated last year
- [ICLR 2025] Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist☆35Oct 23, 2024Updated last year
- Code for Quiet-STaR☆741Aug 21, 2024Updated last year
- Scalable RL solution for advanced reasoning of language models☆1,806Mar 18, 2025Updated 11 months ago
- O1 Replication Journey☆1,999Jan 14, 2025Updated last year
- ☆1,098Jan 10, 2026Updated last month
- Official repository for ACL 2025 paper "ProcessBench: Identifying Process Errors in Mathematical Reasoning"☆184May 20, 2025Updated 9 months ago
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated last year
- ☆321Sep 18, 2024Updated last year
- 800,000 step-level correctness labels on LLM solutions to MATH problems☆2,091Jun 1, 2023Updated 2 years ago
- A series of technical report on Slow Thinking with LLM☆760Aug 13, 2025Updated 6 months ago
- The official repository of the Omni-MATH benchmark.☆93Dec 22, 2024Updated last year
- ☆552Jan 2, 2025Updated last year
- Large Reasoning Models☆807Dec 3, 2024Updated last year
- A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨☆273Apr 26, 2024Updated last year
- ☆42Sep 19, 2024Updated last year
- ☆72Apr 2, 2024Updated last year
- A library for advanced large language model reasoning☆2,333Jun 10, 2025Updated 8 months ago
- GenRM-CoT: Data release for verification rationales☆68Oct 16, 2024Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Sep 9, 2024Updated last year
- Technical report of Kimina-Prover Preview.☆361Jul 10, 2025Updated 7 months ago
- CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)☆73Jun 25, 2024Updated last year
- An Easy-to-use, Scalable and High-performance Agentic RL Framework based on Ray (PPO & DAPO & REINFORCE++ & TIS & vLLM & Ray & Async RL)☆9,037Feb 21, 2026Updated last week
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆97Apr 9, 2025Updated 10 months ago
- ☆481Jul 22, 2024Updated last year
- B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners☆86May 21, 2025Updated 9 months ago
- ReSearch: Learning to Reason with Search for LLMs via Reinforcement Learning & ReCall: Learning to Reason with Tool Call for LLMs via Rei…☆1,324May 16, 2025Updated 9 months ago
- Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"☆186May 25, 2025Updated 9 months ago
- ☆30Dec 27, 2024Updated last year
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆183Jun 8, 2025Updated 8 months ago