A new study evaluating 67 frontier AI models from 21 providers reveals that enterprises underestimate AI model failure rates by 2.25 to 2.5 times due to a mathematical limit called the "co-failure cei…
Researchers propose R²PO, a method that decouples rollout and inference policies for LLM reasoning, achieving accuracy gains of 3.4% on MATH-500 and 1.3% on APPS. The approach attaches a lightweight R…
Researchers introduced LearnStop, a cost-aware early-exit method for reasoning language models that learns when to stop computation based on online features like answer confidence and entropy. Across …
A developer recounts pushing an agent into production that failed after a CRM dropdown change, highlighting the inadequacy of model-level evaluation for agent systems. The article argues that agents m…
JetSpec, a new speculative decoding method, trains a causal parallel draft head over fused hidden states from a frozen target model, enabling lossless verification of candidate trees in one forward pa…
Researchers introduced JetSpec, a speculative decoding method that trains a causal parallel draft head on a frozen target model to draft entire speculative trees in one pass while preserving autoregre…
Researchers introduced GRACE, a theoretical framework that determines the optimal verification granularity for test-time scaling in large language models based on problem difficulty, verifier accuracy…
Researchers from Hao AI Lab introduced JetFlow, a speculative decoding framework that breaks the scaling ceiling of autoregressive LLMs by combining one-forward drafting efficiency with branch-wise ca…
Researchers at UC Riverside introduced the first robustness study for proof autoformalization in Lean 4, testing seven LLM-based models on perturbed informal proofs. All models showed sensitivity to g…
Researchers introduced Sequential Bayesian Belief Tracking (SBBT), a framework that estimates the likelihood of a correct final answer from partial reasoning traces by calibrating observation likeliho…