Search and filter through extracted claims from AI researchers.
Showing 601-620 of 2685 claims of type "fact"
"To achieve a truly nearly-linear-in-$d$ row count, we introduce a new fast, dense randomized transform, which combines a randomized Hadamard flattening, a random permutation, and balanced, disjoint Gaussian pooling. Conditioned on the Hadamard-and-permutation stage, the sketched problem becomes an exact Gaussian regression in which the noise is independent of the entire sketched design; this conditional independence is exactly what the earlier argument was missing. Our sketch yields the $\ell_\infty$ guarantee with $m=O(ε^{-2}d\log d)$ rows"
"uses one Hadamard pass with a padded internal dimension $N=\widetilde{O}(n+ε^{-2}d^3)$, and is efficient to apply: the sketched pair $(SA, Sb)$ can be computed in $O(Nd\log N)=\widetilde{O}(nd+ε^{-2}d^4)$ time."
OpenAI is expanding its operational presence in Brazil
"OpenAI is expanding its presence in Brazil"
"deepening engagement with developers, businesses, and communities to support AI adoption across the country"
Discrete diffusion models have become a strong, widely adopted class of generators for sequence data
"Discrete diffusion models have become a strong, widely adopted class of generators for sequence data"
"across regulatory DNA and protein design it attains the best training-free reward, outperforming prior training-free methods and matching or surpassing a reward-fine-tuned model"
GRAS remains effective even for non-differentiable rewards
"it remains effective even for non-differentiable rewards"
"we lower the estimator variance with a Rao-Blackwellized reveal for differentiable rewards and a leave-one-out baseline for non-differentiable ones"
"Under sub-Weibull noise, we establish selection consistency through approximation-error separation without relying on RIP-type conditions"
DCIC provides nonasymptotic oracle risk bounds that remain valid even under model misspecification
"nonasymptotic oracle risk bounds that remain valid under model misspecification"
"The same coding principle places heterogeneous classes on a common complexity scale at a small additional class-identification cost"
"Large penalties yield polynomial-size retained search regions with high probability"
"Numerical experiments illustrate stable support recovery and favorable estimation performance under strong dependence and model-class uncertainty"
"Across various non-verifiable tasks, human evaluation is reliable but expensive, while automatic metrics are more scalable but often biased."
"we propose prediction-powered evaluation, a framework that combines limited human judgments with large-scale automatic scores to obtain data-efficient system comparisons that are provably unbiased."
PPSR yields more discriminative and stable metric rankings than existing system-level meta-metrics
"PPSR directly targets metric utility for prediction-powered evaluation and yields more discriminative and stable metric rankings than existing system-level meta-metrics."
The prediction-powered evaluation framework applies broadly to non-verifiable tasks
"applies broadly to non-verifiable tasks"
"We demonstrate a physical mechanism for causal information filtering in a physical reservoir computing (PRC) by exploiting asymmetric coupling anisotropy. Using a network of coupled Duffing oscillators, we show that the directionality of internal coupling induces a spatial gradient in the effective potential, establishing a deterministic upstream-to-downstream information flow."
"This anisotropy allows for the selective amplification of semantic drifts, triggering a macroscopic saddle-node bifurcation as a physical interlock before global computational failure."
"symmetrization yields equivariant flow-matching minimizers, including for categorical endpoint prediction"
Pipeline data may be stale or degraded.
Last synthesis: 2026-09-20. 8,954 pending.