☆172Dec 13, 2025Updated 4 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]☆100Apr 9, 2025Updated last year
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆54Dec 28, 2025Updated 3 months ago
- ☆26Apr 7, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated 8 months ago
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated last year
- ☆99Aug 8, 2025Updated 8 months ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated last year
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆187Jul 23, 2025Updated 8 months ago
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆28Updated this week
- ☆18Mar 2, 2026Updated last month
- NeqLIPS: a powerful Olympiad-level inequality prover☆41Sep 7, 2025Updated 7 months ago
- ☆68Feb 4, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Apr 5, 2025Updated last year
- Code for Unsupervised multi-granular Chinese word segmentation and term discovery via graph partition [JBI]☆16Jan 28, 2022Updated 4 years ago
- The official repo of "WebExplorer: Explore and Evolve for Training Long-Horizon Web Agents"☆115Sep 29, 2025Updated 6 months ago
- Async pipelined version of Verl☆125Apr 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
- ☆13Mar 27, 2024Updated 2 years ago
- ☆43Dec 16, 2025Updated 4 months ago
- An efficient implementation of the NSA (Native Sparse Attention) kernel☆133Jun 24, 2025Updated 9 months ago
- ☆26May 30, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆751Jun 6, 2025Updated 10 months ago
- Code release for "Understanding Bias in Large-Scale Visual Datasets"☆23Dec 4, 2024Updated last year
- RL Scaling and Test-Time Scaling (ICML'25)☆116Jan 23, 2025Updated last year
- Code for the paper "Data Attribution for Text-to-Image Models by Unlearning Synthesized Images."☆17May 23, 2025Updated 10 months 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…☆41Updated this week
- Code for the AAAI 2020 oral paper - Dynamic Embedding on Textual Networks via a Gaussian Process.☆12Mar 26, 2020Updated 6 years ago
- ☆32Aug 9, 2024Updated last year
- Pytorch implementation of https://arxiv.org/html/2404.07143v1☆21Apr 13, 2024Updated 2 years ago
- ☆24May 23, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆44Sep 19, 2024Updated last year
- ☆335May 31, 2025Updated 10 months ago
- A repo for open research on building large reasoning models☆147Mar 3, 2026Updated last month
- ☆79Jun 20, 2025Updated 9 months ago
- Documentation of our monthly evening meetups☆13Dec 9, 2025Updated 4 months ago
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆64Mar 26, 2024Updated 2 years ago
- CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings☆73Feb 3, 2025Updated last year