GavinZhengOI / LiveCodeBench-ProLinks
☆165Updated last month
Alternatives and similar repositories for LiveCodeBench-Pro
Users that are interested in LiveCodeBench-Pro are comparing it to the libraries listed below
Sorting:
- [NeurIPS 2025 Spotlight] Co-Evolving LLM Coder and Unit Tester via Reinforcement Learning☆149Updated 4 months ago
- SWE-Swiss: A Multi-Task Fine-Tuning and RL Recipe for High-Performance Issue Resolution☆104Updated 4 months ago
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆96Updated 10 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆32Updated 5 months ago
- ☆131Updated 9 months ago
- ☆47Updated 6 months ago
- This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".☆73Updated 9 months ago
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆120Updated last month
- [NeurIPS 2025 Spotlight] Scaling Computer-Use Grounding via UI Decomposition and Synthesis☆148Updated 3 months ago
- [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments☆177Updated 3 weeks ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆182Updated 6 months ago
- [NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond☆191Updated 7 months ago
- CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings☆65Updated last year
- Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"☆122Updated last week
- SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning☆175Updated 4 months ago
- JanusCoder: Towards a Foundational Visual-Programmatic Interface for Code Intelligence☆75Updated last week
- Solving Inequality Proofs with Large Language Models.☆56Updated last month
- ☆111Updated 4 months ago
- [NeurIPS 2025 D&B] 🚀 SWE-bench Goes Live!☆161Updated last week
- ☆100Updated 6 months ago
- SWE Arena☆35Updated 7 months ago
- PostTrainBench measures how well CLI agents like Claude Code or Codex CLI can post-train base LLMs on a single H100 GPU in 10 hours☆131Updated last week
- Computer Agent Arena: Test & compare AI agents in real desktop apps & web environments. Code/data coming soon!☆53Updated 10 months ago
- [COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents☆236Updated 6 months ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆216Updated 2 months ago
- [NeurIPS'25 D&B] Mind2Web-2 Benchmark: Evaluating Agentic Search with Agent-as-a-Judge☆98Updated last month
- [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI☆107Updated 11 months ago
- Code for "Reasoning to Learn from Latent Thoughts"☆124Updated 10 months ago
- ☆46Updated 7 months ago
- [ICML 2025] Teaching Language Models to Critique via Reinforcement Learning☆120Updated 9 months ago