Alternatives and similar repositories for openai-icpc-2025

Users that are interested in openai-icpc-2025 are comparing it to the libraries listed below

• GavinZhengOI / LiveCodeBench-Pro
  ☆146Updated 3 weeks ago
• ByteDance-Seed / Seed-Prover
  ☆302Updated last month
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆340Updated 4 months ago
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆29Updated 2 months ago
• aw31 / openai-imo-2025-proofs
  ☆477Updated 3 months ago
• Goedel-LM / Goedel-Prover
  ☆211Updated 7 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆178Updated 3 weeks ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆72Updated 3 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆71Updated 9 months ago
• Goedel-LM / Goedel-Prover-V2
  ☆122Updated 2 months ago
• multimodal-art-projection / CriticLean
  ☆44Updated 3 months ago
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆112Updated 6 months ago
• MoonshotAI / CombiBench
  ☆37Updated 2 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆299Updated 9 months ago
• SWE-bench / SWE-smith
  [NeurIPS 2025 D&B Spotlight] Scaling Data for SWE-agents
  ☆442Updated this week
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆52Updated last week
• microsoft / SWE-bench-Live
  [NeurIPS 2025 D&B] 🚀 SWE-bench Goes Live!
  ☆131Updated last week
• BigComputer-Project / SWE-Arena
  SWE Arena
  ☆35Updated 4 months ago
• Parallel-Reasoning / APR
  [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models
  ☆132Updated 2 months ago
• facebookresearch / llm-speedrunner
  The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…
  ☆111Updated last month
• Gen-Verse / CURE
  [NeurIPS 2025 Spotlight] ReasonFlux-Coder: Open-Source LLM Coders with Co-Evolving Reinforcement Learning
  ☆131Updated last month
• facebookresearch / BigOBench
  BigOBench assesses the capacity of Large Language Models (LLMs) to comprehend time-space computational complexity of input or generated c…
  ☆38Updated 6 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆168Updated 2 weeks ago
• phonism / CP-Zero
  Based on the R1-Zero method, using rule-based rewards and GRPO on the Code Contests dataset.
  ☆18Updated 6 months ago
• VsonicV / es-fine-tuning-paper
  This repo contains the source code for the paper "Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning"
  ☆239Updated last week
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆192Updated 3 weeks ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆46Updated 3 months ago
• complex-reasoning / RPG
  Official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆53Updated 3 weeks ago
• THUDM / SWE-Dev
  [ACL25' Findings] SWE-Dev is an SWE agent with a scalable test case construction pipeline.
  ☆56Updated 3 months ago