A benchmark to measure AI progress on unsolved research problems in mathematics.
☆33Aug 21, 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:
- ☆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
- Official repository for MiniAppBench. Contains the complete pipeline and codebase for LLM-powered interactive HTML generation and agentic…☆24Mar 9, 2026Updated 5 months ago
- ☆36Apr 3, 2026Updated 4 months ago
- Training neural operators with weak supervision from Monte-Carlo walk-on-spheres☆30Mar 8, 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.
- ☆16Jun 17, 2026Updated 2 months ago
- [ICLR26] AI-based scaling law discovery☆32Jan 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 4 months ago
- Official implementation for the paper "Video-Based Reward Modeling for Computer-Use Agents"☆17Mar 14, 2026Updated 5 months ago
- [ECCV 2026] Official Implementation of Representations Before Pixels: Semantics-Guided Hierarchical Video Prediction☆19Apr 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 6 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Apr 21, 2026Updated 4 months ago
- ☆25Apr 8, 2026Updated 4 months ago
- 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.
- [🏆ECCV'26] Official Repo for SlowBA: An efficiency backdoor attack towards VLM-based GUI agents☆18Jul 1, 2026Updated last month
- [ICLR 2026] Official implementation of "Enhancing Multi-Image Understanding Through Delimiter Token Scaling"☆17Jul 10, 2026Updated last month
- [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
- [SIGIR 2026] "One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment"☆16Apr 21, 2026Updated 4 months ago
- This is the codes of "DARE: Aligning LLM Agents with the R Statistical Ecosystem via Distribution-Aware Retrieval"☆15Aug 11, 2026Updated 2 weeks ago
- PyTorch Implementation of LocAtViT in "Locality-Attending Vision Transformer" (ICLR 2026)☆19Aug 12, 2026Updated 2 weeks ago
- OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models☆21Apr 14, 2026Updated 4 months ago
- ☆18Mar 16, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated last month
- ☆19Jul 1, 2026Updated last month
- [ACL 2026 SAC Highlight Award] Can We Predict Before Executing Machine Learning Agents?☆23Jul 7, 2026Updated last month
- Official code of Geometric Autoencoder for Diffusion Models.☆21Mar 12, 2026Updated 5 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 4 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 6 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 3 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.
- 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 6 months ago
- The official repository of "MemMA: Coordinating the Memory Cycle through Multi-Agent Reasoning and In-Situ Self-Evolution". (EMNLP 2026)☆19Updated this week
- [ICML2026] Reproduce Kimi K1.5/K2 RL algorithm and rollout system☆21Apr 9, 2026Updated 4 months ago
- [ICLR 2026] AgilePruner: An Empirical Study of Attention and Diversity for Adaptive Visual Token Pruning in Large Vision-Language Models☆29Aug 11, 2026Updated 2 weeks ago
- CoTj (Chain-of-Trajectories) upgrades diffusion models from fixed System-1 denoising schedules to System-2 style, condition-adaptive traj…☆23Mar 24, 2026Updated 5 months ago
- [ECCV 2026] Official repository of "Reliable Reasoning in SVG-LLMs via Multi-Task Multi-Reward Reinforcement Learning".☆25Jul 17, 2026Updated last month