A benchmark to measure AI progress on unsolved research problems in mathematics.
☆35Sep 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:
- ☆27Oct 29, 2025Updated 10 months ago
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 6 months ago
- Official repository for MiniAppBench. Contains the complete pipeline and codebase for LLM-powered interactive HTML generation and agentic…☆25Mar 9, 2026Updated 6 months ago
- ☆39Apr 3, 2026Updated 5 months ago
- Piecewise Sparse Attention Is Wiser for Efficient Diffusion Transformers☆44Jul 1, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Training neural operators with weak supervision from Monte-Carlo walk-on-spheres☆30Mar 8, 2026Updated 6 months ago
- ☆16Jun 17, 2026Updated 2 months ago
- [ICLR26] AI-based scaling law discovery☆36Jan 30, 2026Updated 7 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 6 months ago
- Energy-based Hallucination detection.☆25Mar 3, 2026Updated 6 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☆17Sep 6, 2026Updated last week
- ☆25Apr 8, 2026Updated 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- [🏆ECCV'26] Official Repo for SlowBA: An efficiency backdoor attack towards VLM-based GUI agents☆19Aug 31, 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
- GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent [ICML 2026]☆41Updated this week
- [SIGIR 2026] "One Adapts to Any: Meta Reward Modeling for Personalized LLM Alignment"☆16Apr 21, 2026Updated 4 months ago
- PyTorch Implementation of LocAtViT in "Locality-Attending Vision Transformer" (ICLR 2026)☆19Aug 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
- ☆18Mar 16, 2026Updated 5 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.
- GlimpRouter: Efficient Collaborative Inference by Glimpsing One Token of Thoughts☆18Apr 24, 2026Updated 4 months ago
- ☆20Jul 1, 2026Updated 2 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.☆21Mar 12, 2026Updated 6 months ago
- [ICML 2026] Official Implementation of Prism: Efficient Test-Time Scaling via Hierarchical Search and Self-Verification for Discrete Diff…☆23Mar 4, 2026Updated 6 months ago
- In-Context Reinforcement Learning for Tool Use in Large Language Models☆48Mar 26, 2026Updated 5 months ago
- Elastic Attention: Test-time Adaptive Sparsity Ratios for Efficient Transformers☆24May 26, 2026Updated 3 months ago
- Official project page and code repository for WiT, a pixel space diffusion☆17Updated this week
- Codebase for DeepVision-103K☆22Feb 21, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The official repository of "MemMA: Coordinating the Memory Cycle through Multi-Agent Reasoning and In-Situ Self-Evolution". (EMNLP 2026 M…☆21Aug 22, 2026Updated 3 weeks ago
- Reference implementation of the Canvas Vision Transformer (CanViT) from the paper "CanViT: Toward Active-Vision Foundation Models"☆19Jul 3, 2026Updated 2 months ago
- [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 2 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 last month
- [EMNLP 2026] MDM-Prime-v2: Binary Encoding and Index Shuffling Enable Scaling of Diffusion Language Models☆30Updated this week
- 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