A benchmark to measure AI progress on unsolved research problems in mathematics.
☆28May 6, 2026Updated 2 months ago
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:
- [ICML 2026] Code for V1: Unifying Generation and Self-Verification for Parallel Reasoners.☆39Mar 5, 2026Updated 4 months ago
- ☆35Apr 3, 2026Updated 3 months ago
- [ECCV 2026] Official Implementation of Representations Before Pixels: Semantics-Guided Hierarchical Video Prediction☆17Apr 26, 2026Updated 2 months ago
- Official implementation for the paper "Video-Based Reward Modeling for Computer-Use Agents"☆16Mar 14, 2026Updated 4 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Apr 21, 2026Updated 2 months 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.
- This is the codes of "DARE: Aligning LLM Agents with the R Statistical Ecosystem via Distribution-Aware Retrieval"☆16Mar 6, 2026Updated 4 months ago
- [CVPR 2026 Oral] FINER: MLLMs Hallucinate under Fine-grained Negative Queries☆16Jul 6, 2026Updated last week
- [CVPR-26] Official repository of "CaTok: Taming Mean Flows for One-Dimensional Causal Image Tokenization"☆19Mar 9, 2026Updated 4 months ago
- Reference implementation of the Canvas Vision Transformer (CanViT) from the paper "CanViT: Toward Active-Vision Foundation Models"☆20Jul 3, 2026Updated last week
- [ICML 2026] Residual Context Diffusion (RCD): Repurposing discarded signals as structured priors for high-performance reasoning in dLLMs.☆58Jun 28, 2026Updated 2 weeks ago
- OccuBench: Evaluating AI Agents on Real-World Professional Tasks via Language World Models☆21Apr 14, 2026Updated 3 months ago
- [NeurIPS 2025 Spotlight] Implementation of "KLASS: KL-Guided Fast Inference in Masked Diffusion Models"☆33Jan 3, 2026Updated 6 months ago
- ☆18Mar 16, 2026Updated 4 months ago
- Official project page and code repository for WiT, a pixel space diffusion☆17May 31, 2026Updated last month
- 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.
- ☆19Jul 1, 2026Updated 2 weeks ago
- Official code of Geometric Autoencoder for Diffusion Models.☆20Mar 12, 2026Updated 4 months ago
- [CVPR 2026] Official implementation of "PureCC: Pure Learning for Text-to-Image Concept Customization"☆21May 19, 2026Updated last month
- 4DEquine: Disentangling Motion and Appearance for 4D Equine Reconstruction from Monocular Video (CVPR2026)☆18Apr 12, 2026Updated 3 months ago
- Elastic Attention: Test-time Adaptive Sparsity Ratios for Efficient Transformers☆23May 26, 2026Updated last month
- TBD☆65Mar 13, 2026Updated 4 months ago
- In-Context Reinforcement Learning for Tool Use in Large Language Models☆48Mar 26, 2026Updated 3 months ago
- The official repository of "MemMA: Coordinating the Memory Cycle through Multi-Agent Reasoning and In-Situ Self-Evolution".☆19Mar 20, 2026Updated 3 months ago
- [ECCV 2026] Official repository of "Reliable Reasoning in SVG-LLMs via Multi-Task Multi-Reward Reinforcement Learning".☆22Mar 23, 2026Updated 3 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.
- Official repo for ”Rethinking Token-Level Policy Optimization for Multimodal Chain-of-Thought“☆25Mar 29, 2026Updated 3 months ago
- OpenClaw-style theorem proving☆24Jun 11, 2026Updated last month
- ☆10Jul 10, 2023Updated 3 years ago
- MDM-Prime-v2: Binary Encoding and Index Shuffling Enable Scaling of Diffusion Language Models☆27May 23, 2026Updated last month
- CoTj (Chain-of-Trajectories) upgrades diffusion models from fixed System-1 denoising schedules to System-2 style, condition-adaptive traj…☆23Mar 24, 2026Updated 3 months ago
- NUPACK is a growing software suite for the analysis and design of nucleic acid structures, devices, and systems.☆16Apr 1, 2021Updated 5 years ago
- ☆13Apr 9, 2025Updated last year
- Code for paper "Principled feature attribution for unsupervised gene expression analysis"☆13Mar 7, 2023Updated 3 years ago
- ☆66Apr 16, 2026Updated 3 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.
- Repository for "CoMix: Comprehensive Benchmark for Multi-Task Comic Understanding"☆18Nov 20, 2024Updated last year
- ThetaEvolve: Test-time Learning on Open Problems, enabling RL training on AlphaEvolve/OpenEvolve and emphasizing scaling test-time comput…☆169Feb 27, 2026Updated 4 months ago
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 2 years ago
- Multiscale earth mover's distance methods for tree and manifold structured data☆13Mar 8, 2025Updated last year
- ☆25Mar 17, 2026Updated 3 months ago
- AI for a cure, a combination of Latent-GAN and VAE-JTNN to create 100% valid drug like molecules☆10Mar 16, 2020Updated 6 years ago
- Source code of our ICML 2025 paper "Flowing Datasets with Wasserstein over Wasserstein Gradient Flows"☆21May 21, 2025Updated last year