Frontier AI models solving IMO 2026 autonomously — 7 runs, full audit trails, independently graded (3× verified 42/42)
☆64Jul 23, 2026Updated 3 months ago
Alternatives and similar repositories for imo-2026
Users that are interested in imo-2026 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆104Jul 17, 2026Updated 3 months ago
- ☆20Aug 6, 2024Updated 2 years ago
- [NeurIPS'25] Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning☆17Dec 12, 2025Updated 11 months ago
- An extension of Fourier Neural Operator to finite-dimensional input and/or output spaces.☆19Oct 13, 2025Updated last year
- ☆37Jul 17, 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.
- ☆14Nov 4, 2025Updated last year
- Simulation demo (IsaacSim): minimal demo for loading and controlling the Wuji Hand in IsaacSim simulator.☆15Jul 6, 2026Updated 4 months ago
- Self-scaled Broyden, BFGS and L-BFGS optimisers for JAX/Optimistix — pip install ssbroyden-optimistix☆13Oct 21, 2026Updated 3 weeks ago
- ☆136Jul 9, 2026Updated 4 months ago
- ☆13Mar 1, 2026Updated 8 months ago
- A lossless data compression program in Haskell using Huffman codes☆10Jun 26, 2024Updated 2 years ago
- Verified probability, statistics, and learning theory in Lean 4☆31Nov 5, 2026Updated last week
- Time series and portfolio analytics for quantitative finance.☆50Updated this week
- Distributed Fourier Neural Operators☆34Sep 20, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Per function, Lua JIT using LLVM C++ toolchain☆10Jun 8, 2017Updated 9 years ago
- Langgraph orchestrator UI for agent control.☆20Updated this week
- ☆14Sep 12, 2026Updated 2 months ago
- Optimized cloudscape renderer using volumetric path tracing.☆11Feb 13, 2021Updated 5 years ago
- SUNBURST DGA decoder☆11Dec 23, 2020Updated 5 years ago
- [ICML2025 Oral] LoRA-One: One-Step Full Gradient Could Suffice for Fine-Tuning Large Language Models, Provably and Efficiently☆36Oct 22, 2025Updated last year
- World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for b…☆15Nov 1, 2026Updated 2 weeks ago
- Paper cut light box previewer☆13Oct 13, 2021Updated 5 years ago
- Experiments, results, and misc. scripts.☆34Oct 2, 2026Updated last month
- 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.
- SRSA: Skill Retrieval and Adaptation for Robotic Assembly Tasks☆25Mar 25, 2026Updated 7 months ago
- High Level Rust Wrapper for OpenImageIO☆13Apr 22, 2025Updated last year
- Finance with Python - Learn Python by diving into details of Stock market and build a ML model to predict Stock Prices☆10Feb 9, 2025Updated last year
- ☆29Oct 25, 2026Updated 2 weeks ago
- Experiment code for Low-dimensional topology of deep neural networks☆12May 29, 2026Updated 5 months ago
- シンプルなメトロポリス光輸送法。Kelemen style。☆14Feb 19, 2014Updated 12 years ago
- Cheat Sheets of the tools/programming languages☆12Jul 8, 2018Updated 8 years ago
- ☆13Oct 3, 2026Updated last month
- ☆12Apr 11, 2026Updated 7 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.
- Frontend for various MIFARE Classic tools from libnfc☆11May 17, 2016Updated 10 years ago
- A video extension of Pipecat's Smart Turn☆13Oct 17, 2026Updated 3 weeks ago
- Graphical interface for the Leela Go program.☆37Dec 21, 2020Updated 5 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 7 years ago
- ☆26Jul 16, 2026Updated 3 months ago
- ☆14May 16, 2026Updated 5 months ago
- Basic Testing for SageMathCloud☆10Oct 17, 2016Updated 10 years ago
Are these results useful?