Archives AI News

KV Cache Optimization Strategies for Scalable and Efficient LLM Inference

arXiv:2603.20397v1 Announce Type: new Abstract: The key-value (KV) cache is a foundational optimization in Transformer-based large language models (LLMs), eliminating redundant recomputation of past token representations during autoregressive generation. However, its memory footprint scales linearly with context length, imposing critical…

No-Regret Bayesian Recommendation to Homogeneous Users

arXiv:2202.06135v2 Announce Type: replace-cross Abstract: We introduce and study the online Bayesian recommendation problem for a recommender system platform. The platform has the privilege to privately observe a utility-relevant emph{state} of a product at each round and uses this information…

Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP

arXiv:2603.20405v1 Announce Type: new Abstract: We report on an experiment in which Claude Opus~4.6, equipped with a suite of Model Context Protocol (MCP) tools for the Rocq proof assistant, autonomously proved 10 of 12 problems from the 2025 Putnam Mathematical…

Vision-language models lag human performance on physical dynamics and intent reasoning

arXiv:2601.01547v2 Announce Type: replace-cross Abstract: Spatial intelligence is central to embodied cognition, yet contemporary AI systems still struggle to reason about physical interactions in open-world human environments. Despite strong performance on controlled benchmarks, vision-language models often fail to jointly model…

Statistical Testing Framework for Clustering Pipelines by Selective Inference

arXiv:2603.18413v2 Announce Type: replace-cross Abstract: A data analysis pipeline is a structured sequence of steps that transforms raw data into meaningful insights by integrating multiple analysis algorithms. In many practical applications, analytical findings are obtained only after data pass through…