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
  ☆162Updated last month
• ByteDance-Seed / Seed-Prover
  ☆395Updated 3 weeks ago
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆31Updated 5 months ago
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆350Updated 6 months ago
• google-deepmind / alphaevolve_repository_of_problems
  ☆178Updated last month
• AxiomMath / Putnam2025
  Our solution to Putnam 2025.
  ☆36Updated this week
• multimodal-art-projection / CriticLean
  ☆47Updated 5 months ago
• Zhiyuan-Zeng / RLVE
  [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments
  ☆165Updated last month
• Goedel-LM / Goedel-Prover
  ☆224Updated 9 months ago
• aw31 / openai-imo-2025-proofs
  ☆482Updated 5 months ago
• google-deepmind / gemini_icpc2025
  Gemini 2025 ICPC World Finals Code Submissions
  ☆170Updated 3 months ago
• SakanaAI / ALE-Bench
  The official repository of ALE-Bench
  ☆147Updated last week
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆56Updated 3 weeks ago
• model-architectures / GRAPE
  Official implementation of GRAPE: Group Representational Position Encoding (https://arxiv.org/abs/2512.07805)
  ☆70Updated last week
• facebookresearch / polymath
  AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…
  ☆38Updated 5 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆74Updated this week
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆212Updated 3 weeks ago
• PhialsBasement / AlphaEvolve-MatrixMul-Verification
  Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.
  ☆130Updated 6 months ago
• ZihanWang314 / CoE
  Chain of Experts (CoE) enables communication between experts within Mixture-of-Experts (MoE) models
  ☆226Updated 2 months ago
• thunlp / JustRL
  ☆185Updated 2 weeks ago
• ed-aisys / edin-mls-25-spring
  An open-source ML system course
  ☆28Updated 9 months ago
• Veri-Code / ReForm
  ☆39Updated 5 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• JinjieNi / dlms-are-super-data-learners
  The official github repo for "Diffusion Language Models are Super Data Learners".
  ☆215Updated 2 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"
  ☆283Updated last month
• test-time-training / e2e
  Official JAX implementation of End-to-End Test-Time Training for Long Context
  ☆214Updated 2 weeks ago
• Goedel-LM / Goedel-Prover-V2
  ☆141Updated 4 months ago
• chr26195 / PENCIL
  This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
  ☆69Updated 8 months ago
• Infini-AI-Lab / Multiverse
  ☆109Updated 4 months ago
• complex-reasoning / RPG
  Official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆63Updated last week