[AIMO2] 2nd place solution
☆77May 28, 2025Updated last year
Alternatives and similar repositories for aimo2
Users that are interested in aimo2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 6th place solution☆22Feb 28, 2023Updated 3 years ago
- [WSDM'24 Oral] The official implementation of paper <DeSCo: Towards Generalizable and Scalable Deep Subgraph Counting>☆24Mar 11, 2024Updated 2 years ago
- Kaggle AIMO2 solution with token-efficient reasoning LLM recipes☆50Aug 7, 2025Updated 11 months ago
- ☆765Dec 23, 2025Updated 7 months ago
- [DATE'23] The official code for paper <CLAP: Locality Aware and Parallel Triangle Counting with Content Addressable Memory>☆24May 25, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [ECCV24] MixDQ: Memory-Efficient Few-Step Text-to-Image Diffusion Models with Metric-Decoupled Mixed Precision Quantization☆50Nov 27, 2024Updated last year
- ☆82Aug 19, 2024Updated last year
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆61Nov 24, 2024Updated last year
- The official code implementation for paper "PM-KVQ: Progressive Mixed-precision KV Cache Quantization for Long-CoT LLMs"☆29May 24, 2025Updated last year
- ☆10Oct 5, 2022Updated 3 years ago
- A project to improve skills of large language models☆1,012Jul 17, 2026Updated last week
- Code of EMNLP 2025 paper 'UltraIF: Advancing Instruction Following from the Wild'.☆21Apr 3, 2025Updated last year
- Solution of Kaggle competition: MAP - Charting Student Math Misunderstandings☆27Oct 25, 2025Updated 9 months ago
- ☆15Aug 26, 2024Updated last year
- 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.
- [ICCV'25] The official code of paper "Combining Similarity and Importance for Video Token Reduction on Large Visual Language Models"☆76Jan 13, 2026Updated 6 months ago
- [NeurIPS'25] The official code implementation for paper "R2R: Efficiently Navigating Divergent Reasoning Paths with Small-Large Model Tok…☆95Apr 7, 2026Updated 3 months ago
- ☆17Mar 24, 2023Updated 3 years ago
- [NeurIPS 2025] Latent Zoning Networks☆61Jun 5, 2026Updated last month
- A collection of work related to COVID-19☆10Jul 30, 2020Updated 5 years ago
- [CoLM'25] The official implementation of the paper <MoA: Mixture of Sparse Attention for Automatic Large Language Model Compression>☆159Jan 14, 2026Updated 6 months ago
- ☆10Feb 25, 2023Updated 3 years ago
- [ICML'26] Official implementation of paper "Think-at-Hard: Selective Latent Iterations to Improve Reasoning Language Models"☆75Jul 17, 2026Updated last week
- Skill-RM: Unifying Heterogeneous Evaluation Criteria via Agent Skill☆23Jun 8, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [NeurIPS 2025] Simple extension on vLLM to help you speed up reasoning model without training.☆232May 31, 2025Updated last year
- Code needed to reproduce results from my ICLR 2019 paper on fixed-point quantization of the backprop algorithm.☆10Jan 24, 2019Updated 7 years ago
- ☆17Mar 22, 2024Updated 2 years ago
- [ASE 2025] CoSIL: Issue Localization via Iteritive Code Graph Searching☆24May 31, 2026Updated last month
- ☆19Apr 16, 2025Updated last year
- ☆14Oct 21, 2024Updated last year
- ☆18Dec 11, 2024Updated last year
- MMLU eval for RU/EN☆16Jul 31, 2023Updated 2 years ago
- TPU support for the fastai library☆14Apr 15, 2021Updated 5 years 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.
- Code repositoy for "AOWS: Adaptive and optimal network width search with latency constraints", CVPR 2020☆35Jun 19, 2020Updated 6 years ago
- 1st Place Solution for Eedi - Mining Misconceptions in Mathematics Kaggle Competition☆59Dec 27, 2024Updated last year
- Solution to 6th place of audio classification competition (https://zindi.africa/competitions/giz-nlp-agricultural-keyword-spotter/leaderb…☆13Dec 1, 2020Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- [AAAI 2025] Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems☆13May 5, 2025Updated last year
- Debug print operator for cudagraph debugging☆18Aug 2, 2024Updated last year
- [ICLR 2026] PSFT is a trust-region–inspired fine-tuning objective that views SFT as a policy gradient method with constant advantages, co…☆38Sep 9, 2025Updated 10 months ago