Research
Featured releases, papers, and explainers.
WarpSpeed Brings Expert-Level AI to Hardware Design
doubleAI’s WarpSpeed achieves state-of-the-art performance on NVIDIA’s CVDP benchmark for hardware design and optimization.
WarpSpeed Discovers Record-Breaking ECDSA Cracking Circuit
WarpSpeed designed a record-breaking quantum circuit, beating Google's published design by 2.5x.
Blazing Fast pandas Without Changing a Line
WarpSpeed completely rewrote pandas’ kernels from scratch, specialised for modern hardware.
WarpSpeed on Blackwell: A Second Day
After a second day of search, WarpSpeed beats 99% of SOL-ExecBench's Blackwell kernels
WarpSpeed approaches Speed of Light on Blackwell
WarpSpeed beats NVIDIA's optimised PyTorch baselines on 90% of SOL-ExecBench's 235 Blackwell kernels, running 2.24x faster on average — after a single day of search.
Can AI think like a Scientist? Intelligence, Autonomy, and the Limits of Alignment
Prof. Amnon Shashua examines the next frontier beyond generative AI, focusing on whether AI systems can move from pattern generation to scientific reasoning, discovery, and autonomous problem-solving.
Learning to Reason: How can models learn to actually reason, not just imitate reasoning patterns?
Prof. Shai Shalev-Shwartz, doubleAI’s Co-founder, introduces a search theoretic perspective on Chain of Thought (CoT) learning and explains why many of today’s approaches often fall short: they drift off distribution, lack structured search, and can lead to escalating inference costs.
WarpSpeed: AI That Changes the Cost of Running Software
New AI capabilities that mark a structural shift in the economics of software.
WarpSpeed and the Need for Artificial Expert Intelligence
WarpSpeed showcases Artificial Expert Intelligence as a solution to the expertise bottleneck. Machines can surpass human experts even in data-scarce, hard-to-validate, deeply technical domains.
doubleAI’s WarpSpeed: Surpassing Expert-Written Kernels At Scale
WarpSpeed is doubleAI’s AI system for GPU performance engineering, demonstrated by independently generating and verifying a hyper-optimized drop-in version of NVIDIA cuGraph that delivers broad speedups across graph algorithms and GPU architectures
FormulaOne: A Benchmark for Deep Algorithmic Reasoning
A reasoning benchmark at the level of real world mathematically complex problems, stumping all frontier AI models.
FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming
FormulaOne is a 120-problem MSO-based dynamic programming benchmark on tree-like graphs where frontier models solve under 1%.
From Reasoning to Super-Intelligence: A Search-Theoretic Perspective
A search theoretic perspective on reasoning gives rise to a new learning paradigm that efficiently infers the underlying thought process behind scientific results.
Artificial Expert Intelligence through PAC-reasoning
A theoretical paradigm that provides robust guarantees for reliably decomposing complex problems, with a practical mechanism for controlling reasoning precision.