Alternatives and similar repositories for ReSocratic:

Users that are interested in ReSocratic are comparing it to the libraries listed below

• ars22 / scaling-LLM-math-synthetic-data
  Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"
  ☆30Updated 10 months ago
• scaleapi / plansearch
  e
  ☆31Updated last week
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆59Updated last year
• icip-cas / Verifier-Engineering
  Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering
  ☆57Updated 4 months ago
• chang-github-00 / LLM-Predictive-Decoding
  ☆12Updated 5 months ago
• zhaoxlpku / SubgoalXL
  ☆25Updated 8 months ago
• ryoungj / BoLT
  Code for "Reasoning to Learn from Latent Thoughts"
  ☆91Updated 3 weeks ago
• genrm-star / genrm-critiques
  GenRM-CoT: Data release for verification rationales
  ☆56Updated 6 months ago
• Eleanor-H / MUSTARD
  Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
  ☆41Updated 10 months ago
• XuZhao0 / Model-Selection-Reasoning
  Model Selection with Large Language Models for Reasoning (EMNLP2023 Findings)
  ☆29Updated last year
• thu-wyz / inference_scaling
  ☆63Updated 5 months ago
• McGill-NLP / VinePPO
  Code for the paper "VinePPO: Unlocking RL Potential For LLM Reasoning Through Refined Credit Assignment"
  ☆151Updated 5 months ago
• rookie-joe / automatic-lean4-compilation
  ☆15Updated 8 months ago
• WooooDyy / LLM-Reverse-Curriculum-RL
  Implementation of the ICML 2024 paper "Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning" pr…
  ☆98Updated last year
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆115Updated last month
• liziniu / policy_optimization
  Code for Paper (Policy Optimization in RLHF: The Impact of Out-of-preference Data)
  ☆28Updated last year
• rookie-joe / FormalAlign
  ☆14Updated 5 months ago
• YuxiXie / SelfEval-Guided-Decoding
  ☆95Updated last year
• Joshua-Ren / Learning_dynamics_LLM
  ☆14Updated 2 months ago
• cmu-mind / RISE
  ☆30Updated 5 months ago
• Edward-Sun / easy-to-hard
  Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
  ☆120Updated 7 months ago
• holarissun / RewardModelingBeyondBradleyTerry
  official implementation of ICLR'2025 paper: Rethinking Bradley-Terry Models in Preference-based Reward Modeling: Foundations, Theory, and…
  ☆54Updated 3 weeks ago
• thunlp / Optima
  Code for paper "Optima: Optimizing Effectiveness and Efficiency for LLM-Based Multi-Agent System"
  ☆56Updated 5 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆66Updated last year
• NingMiao / SelfCheck
  Code for the paper <SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning>
  ☆49Updated last year
• Linear95 / DSP
  Domain-specific preference (DSP) data and customized RM fine-tuning.
  ☆25Updated last year
• alecwangcq / f-divergence-dpo
  Direct preference optimization with f-divergences.
  ☆13Updated 5 months ago
• likenneth / dialogue_action_token
  Dialogue Action Tokens: Steering Language Models in Goal-Directed Dialogue with a Multi-Turn Planner
  ☆22Updated 9 months ago
• WeiminXiong / IPR
  Watch Every Step! LLM Agent Learning via Iterative Step-level Process Refinement (EMNLP 2024 Main Conference)
  ☆57Updated 6 months ago
• WANGXinyiLinda / LM_random_walk
  Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation
  ☆20Updated last year