AIMO2 2nd place solution
☆73May 28, 2025Updated 9 months ago
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:
- [WSDM'24 Oral] The official implementation of paper <DeSCo: Towards Generalizable and Scalable Deep Subgraph Counting>☆23Mar 11, 2024Updated 2 years ago
- Kaggle AIMO2 solution with token-efficient reasoning LLM recipes☆44Aug 7, 2025Updated 7 months ago
- ☆761Dec 23, 2025Updated 3 months ago
- [ECCV24] MixDQ: Memory-Efficient Few-Step Text-to-Image Diffusion Models with Metric-Decoupled Mixed Precision Quantization☆49Nov 27, 2024Updated last year
- [NeurIPS 2024] Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study☆59Nov 24, 2024Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Convert MathML to Latex for OneNote to Markdown☆12Mar 17, 2026Updated last week
- Code of EMNLP 2025 paper 'UltraIF: Advancing Instruction Following from the Wild'.☆21Apr 3, 2025Updated 11 months ago
- A project to improve skills of large language models☆882Updated this week
- [ICLR 2024] Skeleton-of-Thought: Prompting LLMs for Efficient Parallel Generation☆183Mar 1, 2024Updated 2 years ago
- Code Repository of Evaluating Quantized Large Language Models☆135Sep 8, 2024Updated last year
- ☆15Aug 26, 2024Updated last year
- [NeurIPS 2025] Latent Zoning Networks☆60Feb 21, 2026Updated last month
- [ICLR 2026] PSFT is a trust-region–inspired fine-tuning objective that views SFT as a policy gradient method with constant advantages, co…☆36Sep 9, 2025Updated 6 months ago
- A collection of work related to COVID-19☆10Jul 30, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Training tiny models to prove hard theorems☆64Mar 5, 2026Updated 2 weeks ago
- ☆10Feb 25, 2023Updated 3 years ago
- P1: Mastering Physics Olympiads with Reinforcement Learning☆79Dec 29, 2025Updated 2 months ago
- ☆34Nov 11, 2025Updated 4 months ago
- Codebase for "A Consistent and Differentiable Lp Canonical Calibration Error Estimator", published at NeurIPS 2022.☆15Mar 18, 2024Updated 2 years ago
- Codebase for " Reducing Representation Drift in Online Continual Learning"☆14Jun 8, 2021Updated 4 years ago
- ☆12Mar 4, 2022Updated 4 years ago
- General Reasoner: Advancing LLM Reasoning Across All Domains [NeurIPS25]☆224Nov 27, 2025Updated 3 months ago
- Official repository for "TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving"☆23Sep 1, 2025Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Dec 11, 2024Updated last year
- ☆14Oct 21, 2024Updated last year
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Modern development with Python in 2024☆12Mar 16, 2026Updated last week
- [NeurIPS 2021] Duplex Sequence-to-Sequence Learning for Reversible Machine Translation☆15Jun 7, 2022Updated 3 years ago
- TPU support for the fastai library☆13Apr 15, 2021Updated 4 years ago
- MMLU eval for RU/EN☆15Jul 31, 2023Updated 2 years ago
- 清华大学电子系科协学培部Sast Tutor共享仓库☆15Apr 27, 2022Updated 3 years ago
- Debug print operator for cudagraph debugging☆14Aug 2, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLMPerf is a library for validating and benchmarking LLMs☆11Aug 13, 2024Updated last year
- State-of-the-art architecture for Plant Disease Detection using Deep Learning.☆10Jul 4, 2022Updated 3 years ago
- [NeurIPS 2025] Simple extension on vLLM to help you speed up reasoning model without training.☆224May 31, 2025Updated 9 months ago
- Solution to 6th place of audio classification competition (https://zindi.africa/competitions/giz-nlp-agricultural-keyword-spotter/leaderb…☆12Dec 1, 2020Updated 5 years ago
- ExpertFingerprinting: Behavioral Pattern Analysis and Specialization Mapping of Experts in GPT-OSS-20B's Mixture-of-Experts Architecture☆24Feb 3, 2026Updated last month
- Incremental View Maintenance support for DuckDB☆16Oct 24, 2023Updated 2 years ago
- The code repository of "MBQ: Modality-Balanced Quantization for Large Vision-Language Models"☆83Mar 17, 2025Updated last year