Alternatives and similar repositories for golitex

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

• AgenticScience / Awesome-Agent-Scientists
  ☆81Updated this week
• BEAM-Labs / DLTutorial
  新学生深度学习入门
  ☆14Updated last year
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆324Updated last month
• j991222 / ai4math-papers
  AI for Mathematics (AI4Math) paper list
  ☆174Updated 11 months ago
• ByteDance-Seed / Seed-Prover
  ☆282Updated last month
• Goedel-LM / Goedel-Prover-V2
  ☆96Updated last week
• Goedel-LM / Goedel-Prover
  ☆206Updated 5 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…
  ☆60Updated last year
• kfdong / STP
  The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"
  ☆108Updated 5 months ago
• TsinghuaC3I / Awesome-RL-Reasoning-Recipes
  Awesome RL Reasoning Recipes ("Triple R")
  ☆804Updated 3 weeks ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆201Updated 3 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆63Updated last month
• project-numina / kimina-lean-server
  Kimina Lean server (+ client SDK)
  ☆110Updated last month
• ShengjieJin / clash-for-linux-without-sudo
  在没有sudo权限的情况下，在linux上使用clash
  ☆138Updated 9 months ago
• hemingkx / Awesome-Efficient-Reasoning
  Paper list for Efficient Reasoning.
  ☆642Updated this week
• tongjingqi / MathTrap
  ☆58Updated 5 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…
  ☆57Updated 3 months ago
• wiio12 / LEGO-Prover
  Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
  ☆67Updated last year
• xinhjBrant / APE-Bench_I
  ☆16Updated 3 months ago
• LINs-lab / Research_Methodology_of_Computer_Science_and_Technology
  Graduate Course at Westlake University
  ☆36Updated this week
• sjtu-sai-agents / X-Master
  Official implementation of X-Master, a general-purpose tool-augmented reasoning agent.
  ☆249Updated last week
• InternLM / InternBootcamp
  ☆202Updated last week
• THUDM / ReST-MCTS
  ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search (NeurIPS 2024)
  ☆661Updated 7 months ago
• yuandong-tian / arXiv_recbot
  A Telegram bot to recommend arXiv papers
  ☆280Updated 4 months ago
• albertqjiang / draft_sketch_prove
  ☆68Updated last year
• BitSecret / AI4Math
  Everything about AI4Math (AI for Mathematics).
  ☆17Updated last year
• OS-Copilot / ScienceBoard
  Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"
  ☆105Updated last week
• TsinghuaC3I / MARTI
  A Framework for LLM-based Multi-Agent Reinforced Training and Inference
  ☆224Updated 2 weeks ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆294Updated 7 months ago
• ZubinGou / math-evaluation-harness
  A simple toolkit for benchmarking LLMs on mathematical reasoning tasks. 🧮✨
  ☆251Updated last year