A benchmark to measure AI progress on unsolved research problems in mathematics.
☆29Jul 28, 2026Updated last 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:
- ☆26Oct 29, 2025Updated 9 months ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 5 months ago
- ☆35Apr 3, 2026Updated 4 months ago
- Training neural operators with weak supervision from Monte-Carlo walk-on-spheres☆29Mar 8, 2026Updated 4 months ago
- ☆16Jun 17, 2026Updated last month
- 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.
- [ICLR26] AI-based scaling law discovery☆31Jan 30, 2026Updated 6 months ago
- [arxiv: 2604.14142] From P(y|x) to P(y): Investigating Reinforcement Learning in Pre-train Space☆17Apr 16, 2026Updated 3 months ago
- Official implementation for the paper "Video-Based Reward Modeling for Computer-Use Agents"☆17Mar 14, 2026Updated 4 months ago
- [ECCV 2026] Official Implementation of Representations Before Pixels: Semantics-Guided Hierarchical Video Prediction☆18Apr 26, 2026Updated 3 months ago
- Energy-based Hallucination detection.☆25Mar 3, 2026Updated 5 months ago
- Official Repo for DAC-RL: Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability☆16Feb 26, 2026Updated 5 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Apr 21, 2026Updated 3 months ago
- ☆25Apr 8, 2026Updated 3 months ago
- [🏆ECCV'26] Official Repo for SlowBA: An efficiency backdoor attack towards VLM-based GUI agents☆18Jul 1, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [CVPR-26] Official repository of "CaTok: Taming Mean Flows for One-Dimensional Causal Image Tokenization"☆19Mar 9, 2026Updated 4 months ago
- [CVPR 2026 Oral] FINER: MLLMs Hallucinate under Fine-grained Negative Queries☆18Jul 6, 2026Updated last month
- GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent [ICML 2026]☆39Updated this week
- GlimpRouter: Efficient Collaborative Inference by Glimpsing One Token of Thoughts☆16Apr 24, 2026Updated 3 months ago
- [SIGIR 2026] "One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment"☆16Apr 21, 2026Updated 3 months ago
- This is the codes of "DARE: Aligning LLM Agents with the R Statistical Ecosystem via Distribution-Aware Retrieval"☆15Mar 6, 2026Updated 5 months ago
- OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models☆21Apr 14, 2026Updated 3 months ago
- Experiments with Two-sided Gaussian tests for BH☆20Jul 13, 2026Updated 3 weeks ago
- ☆19Jul 1, 2026Updated last month
- 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.
- Can We Predict Before Executing Machine Learning Agents?☆21Jul 7, 2026Updated 3 weeks ago
- Official code of Geometric Autoencoder for Diffusion Models.☆21Mar 12, 2026Updated 4 months ago
- [ICML 2026] Official Implementation of Prism: Efficient Test-Time Scaling via Hierarchical Search and Self-Verification for Discrete Diff…☆22Mar 4, 2026Updated 5 months ago
- 4DEquine: Disentangling Motion and Appearance for 4D Equine Reconstruction from Monocular Video (CVPR2026)☆18Apr 12, 2026Updated 3 months ago
- ProAct is a framework designed to enable Large Language Model (LLM) agents to perform accurate, multi-turn lookahead reasoning in interac…☆18Feb 11, 2026Updated 5 months ago
- In-Context Reinforcement Learning for Tool Use in Large Language Models☆48Mar 26, 2026Updated 4 months ago
- Elastic Attention: Test-time Adaptive Sparsity Ratios for Efficient Transformers☆24May 26, 2026Updated 2 months ago
- Official project page and code repository for WiT, a pixel space diffusion☆17May 31, 2026Updated 2 months ago
- Codebase for DeepVision-103K☆22Feb 21, 2026Updated 5 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.
- The official repository of "MemMA: Coordinating the Memory Cycle through Multi-Agent Reasoning and In-Situ Self-Evolution".☆19Mar 20, 2026Updated 4 months ago
- Reference implementation of the Canvas Vision Transformer (CanViT) from the paper "CanViT: Toward Active-Vision Foundation Models"☆19Jul 3, 2026Updated last month
- [ICML2026] Reproduce Kimi K1.5/K2 RL algorithm and rollout system☆19Apr 9, 2026Updated 3 months ago
- [ICML 2026] Public repository for fine-tuning Masked Diffusion Models toward provable self-correction.☆26Jul 5, 2026Updated last month
- [ICLR 2026] AgilePruner: An Empirical Study of Attention and Diversity for Adaptive Visual Token Pruning in Large Vision-Language Models☆28Mar 3, 2026Updated 5 months ago
- MDM-Prime-v2: Binary Encoding and Index Shuffling Enable Scaling of Diffusion Language Models☆27May 23, 2026Updated 2 months ago
- CoTj (Chain-of-Trajectories) upgrades diffusion models from fixed System-1 denoising schedules to System-2 style, condition-adaptive traj…☆23Mar 24, 2026Updated 4 months ago