Alternatives and similar repositories for LLM-Symbolic-Reasoning-Survey

Users that are interested in LLM-Symbolic-Reasoning-Survey are comparing it to the libraries listed below

• NuoJohnChen / JudgeLRM
  JudgeLRM: Large Reasoning Models as a Judge
  ☆40Updated last month
• MingyuJ666 / The-Impact-of-Reasoning-Step-Length-on-Large-Language-Models
  [ACL'24] Chain of Thought (CoT) is significant in improving the reasoning abilities of large language models (LLMs). However, the correla…
  ☆47Updated 8 months ago
• mathllm / Step-Controlled_DPO
  ☆23Updated last year
• RUCAIBox / R1-Searcher-plus
  R1-Searcher++: Incentivizing the Dynamic Knowledge Acquisition of LLMs via Reinforcement Learning
  ☆71Updated 8 months ago
• MingyuJ666 / Disentangling-Memory-and-Reasoning
  [ACL'25] We propose a novel fine-tuning method, Separate Memory and Reasoning, which combines prompt tuning with LoRA.
  ☆83Updated 2 months ago
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning
  ☆148Updated 4 months ago
• RM-R1-UIUC / RM-R1
  RM-R1: Unleashing the Reasoning Potential of Reward Models
  ☆156Updated 7 months ago
• waltonfuture / Diff-eRank
  [NeurIPS 2024] A Novel Rank-Based Metric for Evaluating Large Language Models
  ☆57Updated 8 months ago
• MurongYue / LLM_MoT_cascade
  This is the implementation for the paper "LARGE LANGUAGE MODEL CASCADES WITH MIX- TURE OF THOUGHT REPRESENTATIONS FOR COST- EFFICIENT REA…
  ☆29Updated last year
• WisdomShell / RewardAnything
  RewardAnything: Generalizable Principle-Following Reward Models
  ☆45Updated 7 months ago
• lichengliu03 / unary-feedback
  ☆43Updated 5 months ago
• LightChen233 / reasoning-boundary
  ☆70Updated 7 months ago
• yuelinan / Awesome-Efficient-R1-style-LRMs
  ☆48Updated 5 months ago
• OS-Copilot / ScienceBoard
  Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"
  ☆120Updated 2 months ago
• csbench / csbench
  ☆46Updated 3 months ago
• hkgc-1 / GHPO
  ☆59Updated 6 months ago
• RUCKBReasoning / CoT-based-Synthesizer
  Official code implementation for the ACL 2025 paper: 'CoT-based Synthesizer: Enhancing LLM Performance through Answer Synthesis'
  ☆32Updated 8 months ago
• DAMO-NLP-SG / LongPO
  [ICLR 2025] LongPO: Long Context Self-Evolution of Large Language Models through Short-to-Long Preference Optimization
  ☆43Updated 11 months ago
• ByteDance-Seed / WideSearch
  WideSearch: Benchmarking Agentic Broad Info-Seeking
  ☆114Updated 3 months ago
• OPPO-PersonalAI / Flash-Searcher
  Official Implementation of Flash-Searcher: Fast and Effective Web Agents via DAG-Based Parallel Execution
  ☆64Updated last month
• TIGER-AI-Lab / AceCoder
  The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]
  ☆95Updated 9 months ago
• banksy23 / XCoder
  ☆36Updated 6 months ago
• cs-holder / Reasoning-Self-Evolution-Survey
  ☆54Updated 10 months ago
• IAAR-Shanghai / PGRAG
  PGRAG
  ☆52Updated last year
• QwenLM / Self-Lengthen
  ☆95Updated last year
• DualityRL / multi-attempt
  ☆19Updated 10 months ago
• efficientscaling / Z1
  [EMNLP'25 Industry] Repo for "Z1: Efficient Test-time Scaling with Code"
  ☆68Updated 9 months ago
• TEAM-ARM / arm
  [NeurIPS'25 Spotlight] ARM: Adaptive Reasoning Model
  ☆64Updated 3 months ago
• yayayacc / MUR
  ☆47Updated 3 months ago
• RUCAIBox / Passk_Training
  The official repository of paper "Pass@k Training for Adaptively Balancing Exploration and Exploitation of Large Reasoning Models''
  ☆110Updated 5 months ago