A benchmark to measure AI progress on unsolved research problems in mathematics.
☆36Nov 9, 2026Updated this week
Alternatives and similar repositories for HorizonMath
Users that are interested in HorizonMath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Codebase for the rational policy gradient algorithm and paper.☆13Nov 13, 2025Updated last year
- The website page for introducing VeryMath☆33Nov 3, 2026Updated last week
- ☆28Oct 29, 2025Updated last year
- Sample-Efficient Parametric Learning from Natural Language☆13Feb 5, 2026Updated 9 months ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 8 months ago
- 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.
- Code for "MEG-XL: Data-Efficient Brain-to-Text via Long-Context Pre-Training" at ICML 2026☆19May 13, 2026Updated 6 months ago
- Local Support Learning☆19Oct 4, 2026Updated last month
- A Benchmark for Retrieving Papers that Inspire New Research☆39Oct 2, 2026Updated last month
- ☆23Aug 17, 2026Updated 2 months ago
- ☆39Apr 3, 2026Updated 7 months ago
- Official repository for MiniAppBench. Contains the complete pipeline and codebase for LLM-powered interactive HTML generation and agentic…☆26Mar 9, 2026Updated 8 months ago
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆32Jul 8, 2026Updated 4 months ago
- FlowPrefill: Decoupling Preemption from Prefill Scheduling Granularity to Mitigate Head-of-Line Blocking in LLM Serving☆12Aug 3, 2026Updated 3 months ago
- >>PhysWikiQuiz<< - a Physics Question Generation and Interrogation System☆12Feb 25, 2023Updated 3 years 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.
- Solana File Sharing System is a Decentralised Application which helps you share files to public Anonymously and no one can trace back to …☆12Jun 23, 2022Updated 4 years ago
- 🏝️ Code for our paper: "Privasis: Synthesizing the Largest 'Public' Private Dataset from Scratch"☆16Jul 10, 2026Updated 4 months ago
- ☆16Jun 17, 2026Updated 4 months ago
- OpenAI construction of pure Yang-Mills obtained 10/28/2026☆73Nov 5, 2026Updated last week
- Distributed, objective-led control plane for Lean 4 formalization projects.☆37Oct 9, 2026Updated last month
- Energy-based Hallucination detection.☆25Mar 3, 2026Updated 8 months ago
- [NeurIPS 2026] Piecewise Sparse Attention Is Wiser for Efficient Diffusion Transformers☆48Jul 1, 2026Updated 4 months ago
- wip☆11Jan 9, 2026Updated 10 months ago
- [NeurIPS 2026 Pre-to-Post] From P(y|x) to P(y): Investigating Reinforcement Learning in Pre-train Space☆20Apr 16, 2026Updated 6 months ago
- 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.
- ☆26Apr 8, 2026Updated 7 months ago
- [ECCV 2026] Official Implementation of Representations Before Pixels: Semantics-Guided Hierarchical Video Prediction☆19Sep 6, 2026Updated 2 months ago
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 6 months ago
- [ICLR26] AI-based scaling law discovery☆37Jan 30, 2026Updated 9 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Nov 2, 2026Updated last week
- [CVPR-26] Official repository of "CaTok: Taming Mean Flows for One-Dimensional Causal Image Tokenization"☆20Mar 9, 2026Updated 8 months ago
- OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models☆22Apr 14, 2026Updated 7 months ago
- ☆18Mar 16, 2026Updated 7 months ago
- GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent [ICML 2026]☆41Updated this week
- 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.
- ☆10Apr 20, 2026Updated 6 months ago
- [SIGIR 2026] "One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment"☆16Apr 21, 2026Updated 6 months ago
- CD-LAM is a LAM-side causal debiasing method for continuous latent actions. CD-LAM keeps the downstream action conditioning format unchan…☆21Jul 21, 2026Updated 3 months ago
- [ICLR 2026] Official implementation of "Enhancing Multi-Image Understanding Through Delimiter Token Scaling"☆19Jul 10, 2026Updated 4 months ago
- Elastic Attention: Test-time Adaptive Sparsity Ratios for Efficient Transformers☆24May 26, 2026Updated 5 months ago
- ☆20Jul 1, 2026Updated 4 months ago
- In-Context Reinforcement Learning for Tool Use in Large Language Models☆48Mar 26, 2026Updated 7 months ago
Are these results useful?