Alternatives and similar repositories for golitex

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

• AgenticScience / Awesome-Agent-Scientists
  Paper list of agent for science
  ☆106Updated 2 weeks ago
• BEAM-Labs / DLTutorial
  新学生深度学习入门
  ☆14Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆327Updated 2 months ago
• ByteDance-Seed / Seed-Prover
  ☆295Updated last week
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆176Updated 11 months ago
• zwxandy / Awesome-Efficient-CoT-Reasoning-Summary
  🔥 How to efficiently and effectively compress the CoTs or directly generate concise CoTs during inference while maintaining the reasonin…
  ☆62Updated 4 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆66Updated 2 months ago
• tongyx361 / Awesome-LLM-Research
  Curation of resources for LLM research, screened by @tongyx361 to ensure high quality and accompanied with elaborately-written concise de…
  ☆61Updated last year
• sjtu-sai-agents / X-Master
  Official implementation of X-Master, a general-purpose tool-augmented reasoning agent.
  ☆265Updated last month
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆109Updated 5 months ago
• tongjingqi / MathTrap
  ☆59Updated 6 months ago
• ShengjieJin / clash-for-linux-without-sudo
  在没有sudo权限的情况下，在linux上使用clash
  ☆145Updated 10 months ago
• TsinghuaC3I / MARTI
  A Framework for LLM-based Multi-Agent Reinforced Training and Inference
  ☆257Updated last week
• hemingkx / Awesome-Efficient-Reasoning
  Paper list for Efficient Reasoning.
  ☆664Updated last week
• Goedel-LM / Goedel-Prover-V2
  ☆102Updated 3 weeks ago
• PRIME-RL / Entropy-Mechanism-of-RL
  The Entropy Mechanism of Reinforcement Learning for Large Language Model Reasoning.
  ☆331Updated 2 months ago
• Blueyee / Efficient-CoT-LRMs
  Chain of Thoughts (CoT) is so hot! so long! We need short reasoning process!
  ☆69Updated 5 months ago
• tongjingqi / Awesome-Agent-Reward
  A curated list of awesome resources about reward construction for AI agents. This repository covers cutting-edge research, and practical …
  ☆44Updated 3 weeks ago
• yflyzhang / simpleR1
  simpleR1: A Simple Framework for Training R1-like Models
  ☆27Updated last month
• TheRoadQaQ / ReLIFT
  Official Repository of "Learning what reinforcement learning can't"
  ☆66Updated 2 weeks ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆206Updated 3 months ago
• TsinghuaC3I / Awesome-RL-for-LRMs
  A Survey of Reinforcement Learning for Large Reasoning Models
  ☆1,223Updated last week
• CJReinforce / PURE
  Official code for the paper, "Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning"
  ☆136Updated 2 months ago
• project-numina / kimina-lean-server
  Kimina Lean server (+ client SDK)
  ☆119Updated last month
• OS-Copilot / ScienceBoard
  Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"
  ☆110Updated 3 weeks ago
• Veri-Code / ReForm
  ☆34Updated last month
• XueruiSu / Reproduce-DeepSeek-R1-Survey
  This repository collects various works that reproduce DeepSeek R1, as well as works related to DeepSeek R1 and the DeepSeek series.
  ☆18Updated 5 months ago
• ElliottYan / LUFFY
  Official Repository of "Learning to Reason under Off-Policy Guidance"
  ☆304Updated last week
• langfengQ / verl-agent
  verl-agent is an extension of veRL, designed for training LLM/VLM agents via RL. verl-agent is also the official code for paper "Group-in…
  ☆905Updated this week
• xinhjBrant / APE-Bench_I
  ☆17Updated 4 months ago