☆174Dec 13, 2025Updated 5 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
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆58Dec 28, 2025Updated 5 months ago
- ☆28Apr 7, 2026Updated 2 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.
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆34Aug 13, 2025Updated 9 months ago
- The code and data for the paper JiuZhang3.0☆49May 26, 2024Updated 2 years ago
- ☆19Mar 11, 2026Updated 2 months ago
- ☆102Aug 8, 2025Updated 10 months 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 10 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 3 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.
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- ☆72Apr 17, 2026Updated last month
- Minimal (truly) muP implementation, consistent with TP4 and TP5 papers notation☆14Jan 2, 2026Updated 5 months ago
- ☆70Feb 4, 2026Updated 4 months ago
- ☆19Apr 5, 2025Updated last year
- MajorLi's Blogs☆12Dec 9, 2020Updated 5 years ago
- The official repo of "WebExplorer: Explore and Evolve for Training Long-Horizon Web Agents"☆118Sep 29, 2025Updated 8 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Mar 27, 2024Updated 2 years ago
- http://os.cs.tsinghua.edu.cn/oscourse/OS2018spring/projects/g04☆18Oct 10, 2018Updated 7 years ago
- [COLM 2025] An Open Math Pre-trainng Dataset with 370B Tokens.☆110Apr 4, 2025Updated last year
- An efficient implementation of the NSA (Native Sparse Attention) kernel☆134Jun 24, 2025Updated 11 months ago
- Official repository for the paper "LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code"☆878Jul 16, 2025Updated 10 months ago
- Automated High-Performance GPU Kernel Generation☆114Jun 1, 2026Updated last week
- ☆19Jun 23, 2025Updated 11 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Seed-Coder is a family of lightweight open-source code LLMs comprising base, instruct and reasoning models, developed by ByteDance Seed.☆755Jun 6, 2025Updated last year
- ☆46Dec 16, 2025Updated 5 months ago
- RL Scaling and Test-Time Scaling (ICML'25)☆116Jan 23, 2025Updated last year
- Code release for "Understanding Bias in Large-Scale Visual Datasets"☆23Dec 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
- ☆24May 23, 2025Updated last year