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
  ☆132Updated 4 months ago
• ByteDance-Seed / Seed-Prover
  ☆295Updated last week
• Goedel-LM / Goedel-Prover
  ☆207Updated 5 months ago
• stepfun-ai / StepFun-Prover-Preview
  Large language models designed for formal theorem proving through tool-integrated reasoning.
  ☆28Updated last month
• MoonshotAI / Kimina-Prover-Preview
  Technical report of Kimina-Prover Preview.
  ☆327Updated 2 months ago
• lupantech / ineqmath
  Solving Inequality Proofs with Large Language Models.
  ☆44Updated last week
• aw31 / openai-imo-2025-proofs
  ☆476Updated 2 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆70Updated 8 months ago
• Sphere-AI-Lab / FormalMATH-Bench
  ☆67Updated 2 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆295Updated 7 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆162Updated 3 weeks ago
• jiangyy / gpt-tokens
  What are learned in tiktoken?
  ☆70Updated last year
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆45Updated last month
• multimodal-art-projection / CriticLean
  ☆42Updated last month
• loganrjmurphy / LeanEuclid
  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
  ☆109Updated 4 months ago
• MoonshotAI / CombiBench
  ☆32Updated last month
• Lagooon / LeanSTaR
  ☆42Updated last year
• Goedel-LM / Goedel-Prover-V2
  ☆102Updated last month
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆91Updated 8 months ago
• chr26195 / PENCIL
  This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
  ☆65Updated 4 months ago
• Veri-Code / ReForm
  ☆34Updated last month
• complex-reasoning / RPG
  Official implementation of Regularized Policy Gradient (RPG) (https://arxiv.org/abs/2505.17508)
  ☆37Updated last week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆206Updated 3 months ago
• eth-sri / matharena
  Evaluation of LLMs on latest math competitions
  ☆165Updated last week
• yangky11 / miniF2F-lean4
  ☆66Updated 2 weeks ago
• google-deepmind / gemini_icpc2025
  Gemini 2025 ICPC World Finals Code Submissions
  ☆149Updated last week
• DeepMathLLM / DeepMath
  一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。
  ☆16Updated 4 months ago
• facebookresearch / polymath
  AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…
  ☆33Updated last month
• FormalGeo / FormalGeo
  Formal representation and solving for Euclidean plane geometry problems.
  ☆28Updated 8 months ago
• keshik6 / grafting
  [NeurIPS 2025 Oral] Exploring Diffusion Transformer Designs via Grafting
  ☆52Updated 3 months ago