Archives AI News

Identifying All {epsilon}-Best Arms in (Misspecified) Linear Bandits

arXiv:2510.00073v1 Announce Type: new Abstract: Motivated by the need to efficiently identify multiple candidates in high trial-and-error cost tasks such as drug discovery, we propose a near-optimal algorithm to identify all {epsilon}-best arms (i.e., those at most {epsilon} worse than…

TASER: Translation Assessment via Systematic Evaluation and Reasoning

We introduce TASER (Translation Assessment via Systematic Evaluation and Reasoning), a metric that uses Large Reasoning Models (LRMs) for automated translation quality assessment. TASER harnesses the explicit reasoning capabilities of LRMs to conduct systematic, step-by-step evaluation of translation quality. We…

Hilbert: Recursively Building Formal Proofs with Informal Reasoning

Large Language Models (LLMs) demonstrate impressive mathematical reasoning abilities, but their solutions frequently contain errors that cannot be automatically verified. Formal theorem proving systems such as Lean 4 offer automated verification with complete accuracy, motivating recent efforts to build specialized…

Apple sidelines lighter Vision Pro to prioritize smart glasses

Apple is speeding up work on smart glasses that would compete with similar offerings from Meta and halting plans for a lighter Vision Pro headset, Bloomberg reports. The company is apparently working on at least two different versions: a pair…

Amazon says its AI will let NBA fans track brand-new stats

New analysis of basketball players and games is coming to NBA fans live and online this 2025–2026 season thanks to Amazon Web Services’ AI and some seriously detailed movement tracking. The new stats come as part of the rollout of…