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
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆32Updated 5 months ago
- SWE-Swiss: A Multi-Task Fine-Tuning and RL Recipe for High-Performance Issue Resolution☆104Updated 4 months ago
- Code, benchmark and environment for "ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows"☆122Updated last week
- This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".☆73Updated 9 months ago
- [NeurIPS 2025 D&B] 🚀 SWE-bench Goes Live!☆161Updated last week
- ☆47Updated 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
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆114Updated last month
- [NeurIPS 2025 Spotlight] Scaling Computer-Use Grounding via UI Decomposition and Synthesis☆145Updated 3 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆182Updated 6 months ago
- CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings☆65Updated last year
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆96Updated 10 months ago
- Computer Agent Arena: Test & compare AI agents in real desktop apps & web environments. Code/data coming soon!☆52Updated 10 months ago
- ☆100Updated 6 months ago
- [COLM 2025] Code for Paper: Learning Adaptive Parallel Reasoning with Language Models☆139Updated last month
- ☆131Updated 9 months ago
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆59Updated last year
- PaCoRe: Learning to Scale Test-Time Compute with Parallel Coordinated Reasoning☆296Updated 3 weeks ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆216Updated 2 months ago
- [Preprint] RLVE: Scaling Up Reinforcement Learning for Language Models with Adaptive Verifiable Environments☆177Updated 3 weeks ago
- SPIRAL: Self-Play on Zero-Sum Games Incentivizes Reasoning via Multi-Agent Multi-Turn Reinforcement Learning☆175Updated 4 months ago
- ☆134Updated 2 weeks ago
- Solving Inequality Proofs with Large Language Models.☆56Updated last month
- Official Implementation of ARPO: End-to-End Policy Optimization for GUI Agents with Experience Replay☆148Updated 8 months ago
- SWE Arena☆35Updated 7 months ago
- Ring-V2 is a reasoning MoE LLM provided and open-sourced by InclusionAI.☆89Updated 3 months ago
- Reproducing R1 for Code with Reliable Rewards☆286Updated 9 months ago
- ☆114Updated 9 months ago
- Ring is a reasoning MoE LLM provided and open-sourced by InclusionAI, derived from Ling.☆106Updated 6 months ago