☆176Dec 13, 2025Updated 6 months ago
Alternatives and similar repositories for LiveCodeBench-Pro
Users that are interested in LiveCodeBench-Pro are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆11Oct 11, 2024Updated last year
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆101Apr 9, 2025Updated last year
- A scrapy crawler that crawls problems and its best solutions on codeforces.com☆12Feb 25, 2016Updated 10 years ago
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆58Dec 28, 2025Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆28Apr 7, 2026Updated 2 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆34Aug 13, 2025Updated 10 months ago
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated 2 years ago
- The next generation SYZOJ server, written in Go☆20Oct 9, 2019Updated 6 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆188Jul 23, 2025Updated 11 months ago
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆29Jun 22, 2026Updated last week
- ☆18Mar 2, 2026Updated 3 months ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆79Jun 19, 2026Updated last week
- Backend for GuOJ Project.☆11Jun 10, 2021Updated 5 years ago
- ☆70Feb 4, 2026Updated 4 months ago
- MajorLi's Blogs☆12Dec 9, 2020Updated 5 years ago
- The official repo of "WebExplorer: Explore and Evolve for Training Long-Horizon Web Agents"☆120Sep 29, 2025Updated 9 months ago
- Code for Unsupervised multi-granular Chinese word segmentation and term discovery via graph partition [JBI]☆16Jan 28, 2022Updated 4 years ago
- Async pipelined version of Verl☆124Apr 8, 2025Updated last year
- Code and data for "An Accurate Unsupervised Method for Joint Entity Alignment and Dangling Entity Detection".☆15Mar 26, 2022Updated 4 years ago
- [COLM 2025] An Open Math Pre-trainng Dataset with 370B Tokens.☆111Apr 4, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An efficient implementation of the NSA (Native Sparse Attention) kernel☆133Jun 24, 2025Updated last year
- Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"☆889Jul 16, 2025Updated 11 months ago
- ☆19Jun 23, 2025Updated last year
- Automated High-Performance GPU Kernel Generation☆116Jun 1, 2026Updated 3 weeks ago
- ☆26May 30, 2023Updated 3 years ago
- AStyle code formatter compiled to WebAssembly, for Node.js and the browser.☆20Jul 18, 2023Updated 2 years ago
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆753Jun 6, 2025Updated last year
- ☆47Dec 16, 2025Updated 6 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆116Jan 23, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code release for "Understanding Bias in Large-Scale Visual Datasets"☆24Dec 4, 2024Updated last year
- Code for the paper "Data Attribution for Text-to-Image Models by Unlearning Synthesized Images."☆17May 23, 2025Updated last year
- Code for the AAAI 2020 oral paper - Dynamic Embedding on Textual Networks via a Gaussian Process.☆12Mar 26, 2020Updated 6 years ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆45Apr 13, 2026Updated 2 months ago
- ☆33Aug 9, 2024Updated last year
- ☆24May 23, 2025Updated last year
- ☆44Sep 19, 2024Updated last year