Alternatives and similar repositories for polymath

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

• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated last year
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆31Updated 5 months ago
• gonglinyuan / ast_t5
  ☆83Updated last year
• ByteDance-Seed / Seed-Prover
  ☆408Updated last month
• google-deepmind / superhuman
  ☆148Updated this week
• BKHMSI / mixture-of-cognitive-reasoners
  Mixture of Cognitive Reasoners: Modular Reasoning with Brain-Like Specialization
  ☆39Updated 2 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 6 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• google-deepmind / alphaevolve_repository_of_problems
  ☆191Updated 2 weeks ago
• facebookresearch / BigOBench
  BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…
  ☆40Updated 9 months ago
• uq-project / UQ
  UQ: Assessing Language Models on Unsolved Questions
  ☆30Updated 5 months ago
• kagnlp / CodeGenerator
  This repository contains popular code generation frameworks such as MapCoder, CodeSIM.
  ☆69Updated 7 months ago
• UCB-ADRS / ADRS
  AI-Driven Research Systems (ADRS)
  ☆117Updated last month
• charlesjin / emergent-semantics
  ☆42Updated last year
• GAIR-NLP / LIMI
  LIMI: Less is More for Agency
  ☆160Updated 3 months ago
• openai / circuit_sparsity
  Open-source release accompanying Gao et al. 2025
  ☆501Updated last month
• YerbaPage / MGDebugger
  Multi-Granularity LLM Debugger [ICSE2026]
  ☆95Updated 7 months ago
• google-deepmind / alphaevolve_results
  ☆258Updated last month
• facebookresearch / llm-speedrunner
  The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…
  ☆128Updated 3 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆76Updated 3 weeks ago
• agiresearch / Formal-LLM
  Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
  ☆132Updated last year
• NVlabs / RLP
  [ICLR 2026] Official PyTorch Implementation of RLP: Reinforcement as a Pretraining Objective
  ☆231Updated last week
• UbiquantAI / URM
  Universal Reasoning Model
  ☆122Updated 3 weeks ago
• Goedel-LM / Goedel-Prover
  ☆225Updated 10 months ago
• gkamradt / SnakeBench
  ☆100Updated this week
• rohinmanvi / Capability-Aware-and-Mid-Generation-Self-Evaluations
  ☆21Updated 6 months ago
• FrontierCS / Frontier-CS
  A benchmark for evaluating LLMs on open-ended CS problems. Exploring the Next Frontier of Computer Science.
  ☆103Updated this week
• uclaml / COPS
  The official implementation of Cross-Task Experience Sharing (COPS)
  ☆29Updated last year
• StigLidu / DualDistill
  [EMNLP 2025] The official implementation for paper "Agentic-R1: Distilled Dual-Strategy Reasoning"
  ☆102Updated 5 months ago
• Zyphra / tree_attention
  Tree Attention: Topology-aware Decoding for Long-Context Attention on GPU clusters
  ☆131Updated last year