Alternatives and similar repositories for skywork-o1-prm-inference

Users that are interested in skywork-o1-prm-inference are comparing it to the libraries listed below

• IAAR-Shanghai / xVerify
  xVerify: Efficient Answer Verifier for Reasoning Model Evaluations
  ☆131Updated 5 months ago
• GAIR-NLP / LIMR
  ☆211Updated 7 months ago
• Open-Source-O1 / o1_Reasoning_Patterns_Study
  ☆103Updated 10 months ago
• GAIR-NLP / ProX
  [ICML 2025] Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale
  ☆263Updated 3 months ago
• THUDM / LongAlign
  [EMNLP 2024] LongAlign: A Recipe for Long Context Alignment of LLMs
  ☆256Updated 9 months ago
• ADaM-BJTU / OpenRFT
  OpenRFT: Adapting Reasoning Foundation Model for Domain-specific Tasks with Reinforcement Fine-Tuning
  ☆149Updated 9 months ago
• eddycmu / demystify-long-cot
  ☆319Updated 4 months ago
• Wangmerlyn / MCTS-GSM8k-Demo
  This is a repo for showcasing using MCTS with LLMs to solve gsm8k problems
  ☆91Updated 6 months ago
• yyht / openrlhf_async_pipline
  ☆78Updated last month
• princeton-nlp / CEPE
  [ACL 2024] Long-Context Language Modeling with Parallel Encodings
  ☆163Updated last year
• hkust-nlp / dart-math
  [NeurIPS'24] Official code for *🎯DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving*
  ☆114Updated 9 months ago
• sail-sg / oat-zero
  A lightweight reproduction of DeepSeek-R1-Zero with indepth analysis of self-reflection behavior.
  ☆246Updated 5 months ago
• LCLM-Horizon / A-Comprehensive-Survey-For-Long-Context-Language-Modeling
  A Comprehensive Survey on Long Context Language Modeling
  ☆191Updated 3 months ago
• RUC-GSAI / YuLan-Mini
  A highly capable 2.4B lightweight LLM using only 1T pre-training data with all details.
  ☆217Updated 2 months ago
• cmu-l3 / l1
  L1: Controlling How Long A Reasoning Model Thinks With Reinforcement Learning
  ☆256Updated 4 months ago
• nick7nlp / Counting-Stars
  Counting-Stars (★)
  ☆83Updated 4 months ago
• THUDM / T1
  RL Scaling and Test-Time Scaling (ICML'25)
  ☆111Updated 8 months ago
• GAIR-NLP / ToRL
  ☆297Updated 4 months ago
• TemporaryLoRA / Temp-LoRA
  ☆115Updated last year
• InternLM / OREAL
  Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning
  ☆190Updated 6 months ago
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆128Updated 6 months ago
• CMU-AIRe / MRT
  Research Code for preprint "Optimizing Test-Time Compute via Meta Reinforcement Finetuning".
  ☆108Updated 2 months ago
• Zanette-Labs / SpeculativeRejection
  [NeurIPS 2024] Fast Best-of-N Decoding via Speculative Rejection
  ☆51Updated 11 months ago
• inclusionAI / PromptCoT
  A unified suite for generating elite reasoning problems and training high-performance LLMs, including pioneering attention-free architect…
  ☆106Updated last week
• open-compass / MathBench
  [ACL 2024 Findings] MathBench: A Comprehensive Multi-Level Difficulty Mathematics Evaluation Dataset
  ☆106Updated 4 months ago
• ganler / code-r1
  Reproducing R1 for Code with Reliable Rewards
  ☆257Updated 5 months ago
• agentica-project / verl-pipeline
  Async pipelined version of Verl
  ☆117Updated 6 months ago
• AlphaPav / mem-kk-logic
  On Memorization of Large Language Models in Logical Reasoning
  ☆72Updated 6 months ago
• QwenLM / AutoIF
  ☆307Updated last year
• tongyx361 / Awesome-LLM4Math
  Curation of resources for LLM mathematical reasoning, most of which are screened by @tongyx361 to ensure high quality and accompanied wit…
  ☆142Updated last year