HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible
☆17Oct 6, 2026Updated 2 weeks ago
Alternatives and similar repositories for hoa
Users that are interested in hoa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean4 benchmark on 1 category.☆28Jun 19, 2026Updated 4 months ago
- ☆17Mar 26, 2025Updated last year
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 months ago
- [SIGGRAPH Asia 2025] The official implementation of the paper "DvD: Unleashing a Generative Paradigm for Document Dewarping via Coordinat…☆36Mar 10, 2026Updated 7 months ago
- Hand-written verified Lean solutions for the HumanEval benchmark☆32Mar 27, 2026Updated 6 months 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.
- Repository for Skill Set Optimization☆14Jul 26, 2024Updated 2 years ago
- ☆20May 24, 2025Updated last year
- The Walnut Plan☆11Oct 10, 2024Updated 2 years ago
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated last week
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 3 months ago
- Distributed, objective-led control plane for Lean 4 formalization projects.☆36Oct 9, 2026Updated 2 weeks ago
- ☆15Jul 10, 2026Updated 3 months ago
- A Triton-only attention backend for vLLM☆28Jul 14, 2026Updated 3 months ago
- ☆16Jan 18, 2025Updated 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.
- ☆10Apr 14, 2026Updated 6 months ago
- Universal AI agent skill that turns any material into learning-science-based self-study courses with retrieval practice, spaced repetitio…☆27Jul 7, 2026Updated 3 months ago
- 🏆 Ambassador Paper for Innovative Use of NLP for Building Educational Applications 2023: Is ChatGPT a Good Teacher Coach? Measuring Zero…☆15Jul 21, 2024Updated 2 years ago
- ☆11Oct 1, 2025Updated last year
- ☆15Feb 2, 2026Updated 8 months ago
- [ICML 2023] "Data Efficient Neural Scaling Law via Model Reusing" by Peihao Wang, Rameswar Panda, Zhangyang Wang☆14Jan 4, 2024Updated 2 years ago
- ☆20Aug 17, 2026Updated 2 months ago
- Act!O(n) Arena☆11Updated this week
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- 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.
- ☆32Jul 2, 2025Updated last year
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆97Updated this week
- Code for paper "Video Models Can Reason with Verifiable Rewards"☆28May 19, 2026Updated 5 months ago
- ☆280Jul 8, 2026Updated 3 months ago
- AST export from Lean 4☆18Jul 25, 2024Updated 2 years ago
- ☆58Apr 22, 2026Updated 6 months ago
- codebase for the paper Tail-Likelihood Reinforcement Learning☆18Sep 11, 2026Updated last month
- ☆17Sep 27, 2026Updated 3 weeks ago
- Training-free inference acceleration framework for interactive video world models, with tested support for HY-WorldPlay and Matrix-Game-3…☆23Jun 18, 2026Updated 4 months 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.
- ☆20Aug 17, 2026Updated 2 months ago
- A modular full-system emulator written in Rust☆37Jul 24, 2026Updated 2 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆108Updated this week
- The agent flow system for token maxxing.☆345Updated this week
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 6 months ago
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- ☆14Jul 15, 2025Updated last year