A benchmark to measure AI progress on unsolved research problems in mathematics.
☆35Sep 26, 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:
- ☆28Oct 29, 2025Updated 11 months ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 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 6 months ago
- ☆38Apr 3, 2026Updated 6 months ago
- [NeurIPS 2026] Piecewise Sparse Attention Is Wiser for Efficient Diffusion Transformers☆44Jul 1, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Training neural operators with weak supervision from Monte-Carlo walk-on-spheres☆30Mar 8, 2026Updated 6 months ago
- ☆16Jun 17, 2026Updated 3 months ago
- [ICLR26] AI-based scaling law discovery☆36Jan 30, 2026Updated 8 months ago
- [NeurIPS 2026 Pre-to-Post ] From P(y|x) to P(y): Investigating Reinforcement Learning in Pre-train Space☆18Apr 16, 2026Updated 5 months ago
- Official implementation for the paper "Video-Based Reward Modeling for Computer-Use Agents"☆17Mar 14, 2026Updated 6 months ago
- [ECCV 2026] Official Implementation of Representations Before Pixels: Semantics-Guided Hierarchical Video Prediction☆19Sep 6, 2026Updated 3 weeks ago
- Energy-based Hallucination detection.☆25Mar 3, 2026Updated 7 months ago
- ☆25Apr 8, 2026Updated 5 months ago
- [🏆ECCV'26] Official Repo for SlowBA: An efficiency backdoor attack towards VLM-based GUI agents☆20Sep 14, 2026Updated 3 weeks 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.
- Official Repo for DAC-RL: Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability☆40Sep 20, 2026Updated 2 weeks ago
- [ICLR 2026] Official implementation of "Enhancing Multi-Image Understanding Through Delimiter Token Scaling"☆17Jul 10, 2026Updated 2 months ago
- [CVPR-26] Official repository of "CaTok: Taming Mean Flows for One-Dimensional Causal Image Tokenization"☆19Mar 9, 2026Updated 6 months ago
- [CVPR 2026 Oral] FINER: MLLMs Hallucinate under Fine-grained Negative Queries☆19Jul 6, 2026Updated 2 months ago
- GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent [ICML 2026]☆41Sep 16, 2026Updated 2 weeks ago
- [SIGIR 2026] "One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment"☆17Apr 21, 2026Updated 5 months ago
- PyTorch Implementation of LocAtViT in "Locality-Attending Vision Transformer" (ICLR 2026)☆20Aug 12, 2026Updated last month
- This is the codes of "DARE: Aligning LLM Agents with the R Statistical Ecosystem via Distribution-Aware Retrieval"☆15Aug 11, 2026Updated last month
- OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models☆22Apr 14, 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.
- ☆18Mar 16, 2026Updated 6 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 2 months ago
- ☆20Jul 1, 2026Updated 3 months ago
- [ACL 2026 SAC Highlight Award] Can We Predict Before Executing Machine Learning Agents?☆24Jul 7, 2026Updated 2 months ago
- Official code of Geometric Autoencoder for Diffusion Models.☆22Mar 12, 2026Updated 6 months ago
- GlimpRouter: Efficient Collaborative Inference by Glimpsing One Token of Thoughts☆19Apr 24, 2026Updated 5 months ago
- [ICML 2026] Official Implementation of Prism: Efficient Test-Time Scaling via Hierarchical Search and Self-Verification for Discrete Diff…☆23Mar 4, 2026Updated 7 months ago
- 4DEquine: Disentangling Motion and Appearance for 4D Equine Reconstruction from Monocular Video (CVPR2026)☆19Apr 12, 2026Updated 5 months ago
- In-Context Reinforcement Learning for Tool Use in Large Language Models☆48Mar 26, 2026Updated 6 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.
- ProAct is a framework designed to enable Large Language Model (LLM) agents to perform accurate, multi-turn lookahead reasoning in interac…☆18Feb 11, 2026Updated 7 months ago
- Elastic Attention: Test-time Adaptive Sparsity Ratios for Efficient Transformers☆24May 26, 2026Updated 4 months ago
- Official project page and code repository for WiT, a pixel space diffusion☆17Sep 14, 2026Updated 3 weeks ago
- The official repository of "MemMA: Coordinating the Memory Cycle through Multi-Agent Reasoning and In-Situ Self-Evolution". (EMNLP 2026 M…☆23Aug 22, 2026Updated last month
- CanViT: Toward Active-Vision Foundation Models (NeurIPS 2026). Model, pretraining, task specialization and evaluation code.☆22Sep 27, 2026Updated last week
- [ICML2026] Reproduce Kimi K1.5/K2 RL algorithm and rollout system☆21Apr 9, 2026Updated 5 months ago
- [ICML 2026] Public repository for fine-tuning Masked Diffusion Models toward provable self-correction.☆26Jul 5, 2026Updated 3 months ago