All entries

arXiv:2601.16172v2 Announce Type: replace Abstract: RL-trained Lean theorem provers mode-collapse at inference time: on miniF2F-test with DeepSeek-Prover-V1.5-RL, doubling the i.i.d. sampling budget f

arXiv:2605.18337v1 Announce Type: new Abstract: Large-scale news corpora support a wide range of research in Computational Social Science and NLP, yet access remains constrained: commercial archives i

arXiv:2605.17930v1 Announce Type: new Abstract: While the approximation properties of single-layer Transformer architectures have been studied in recent works, a rigorous theoretical understanding of

arXiv:2602.18217v2 Announce Type: replace Abstract: Real-time sentence comprehension imposes a significant load on working memory, as comprehenders must maintain contextual information to anticipate f

arXiv:2605.16809v1 Announce Type: new Abstract: The quality of graph-structured data is fundamental to the success of modern graph analysis techniques such as Graph Neural Networks (GNNs). However, re

arXiv:2605.18467v1 Announce Type: new Abstract: Recent diffusion-based methods have achieved impressive progress in video content manipulation. However, they typically ignore the accompanying audio, l

arXiv:2605.17219v1 Announce Type: cross Abstract: Artificial Intelligence (AI) is widely adopted today for its ability to detect patterns, automate tasks, and reduce time and cost across various appli

arXiv:2605.18006v1 Announce Type: cross Abstract: Because LiDAR sensors acquire point clouds with a fixed angular resolution, the resulting data can be systematically parameterized and efficiently com

arXiv:2605.18024v1 Announce Type: cross Abstract: Cooperation is central to multi-agent reinforcement learning (MARL), yet learned coordination can be fragile when external perturbations disrupt inter

arXiv:2605.17829v1 Announce Type: new Abstract: AI evaluation is undergoing a structural change. Large language models (LLMs) are increasingly deployed as systems that act over time through tools, env

arXiv:2605.17774v1 Announce Type: new Abstract: Large language models are increasingly used as planning components in agentic systems, but current tool-use pipelines often require full tool schemas to

arXiv:2510.21523v2 Announce Type: replace Abstract: Sequential generative models conditioned on uncertain rewards are central to AI-driven scientific discovery, yet the epistemic uncertainty they inhe

Databricks introduced AI spend controls as part of its Unity AI Gateway, enabling organizations to monitor, manage, and optimize costs associated with AI model usage and API calls. The feature likely

This article announces a collaboration between Anthropic's Claude and Modal that enables Claude to operate as managed agents within Modal's sandboxed environments. The integration allows Claude to saf

OpenAI announced its expansion into Singapore, establishing a presence in the Asia-Pacific region to better serve local customers and developers. The announcement likely covers OpenAI's commitment to

Introducing OpenAI Guaranteed Capacity: a new offering that enables customers to guarantee long-term access to OpenAI compute. We’ve made long-term investments in infrastructure, partnerships, and cap

The Ettin Reranker Family represents a new suite of reranking models released on Hugging Face designed to improve retrieval-augmented generation (RAG) systems by reordering search results based on rel

arXiv:2305.07152v4 Announce Type: replace Abstract: Robotic assisted (RA) surgery promises to transform surgical intervention. Intuitive Surgical is committed to fostering these changes and the machin

arXiv:2505.09203v2 Announce Type: replace-cross Abstract: Developing inverse design methods for functional materials with specific properties is critical to advancing fields like renewable energy, cat

arXiv:2605.16528v1 Announce Type: cross Abstract: The latest improvements in artificial intelligence (AI) raise new challenges for intellectual property laws, particularly concerning the inventorship

arXiv:2605.16318v1 Announce Type: new Abstract: Building and maintaining state to learn policies and value functions is critical for deploying reinforcement learning (RL) agents in the real world. Rec

Google I/O 2026 is where Google shared how it's making AI more helpful for everyone, releasing new models including Gemini Omni and Gemini 3.5. The event showcased advancements to Google's agent-first

At I/O 2026, Google announced that AI is transitioning from something users actively open to a background service that completes tasks automatically. The company introduced Gemini Spark, a new agentic

arXiv:2605.18113v1 Announce Type: new Abstract: Prompt optimization has often been framed as a discrete search problem to find high-performing and robust instructions for an LLM. However, the search r

Iranian lawmakers have proposed charging tech companies like Google, Meta, and Microsoft annual fees for fiber-optic cables running beneath the Strait of Hormuz . The proposal includes requiring these

arXiv:2605.17799v1 Announce Type: new Abstract: Long-tailed out-of-distribution (LT-OOD) detection is often addressed with specialized training, including auxiliary out-of-distribution (OOD) data, abs

arXiv:2605.17268v1 Announce Type: new Abstract: We present the first systematic study of faithfulness in Vision-Language-Action (VLA) driving models, analyzing 300 Alpamayo-R1-10B inferences across 10

arXiv:2605.18320v1 Announce Type: cross Abstract: Offline reinforcement learning methods typically enforce strict constraints to ensure safety; yet this rigidity often prevents the discovery of optima

arXiv:2605.16708v1 Announce Type: new Abstract: Learning meaningful latent representations from nonlinear fMRI data remains a fundamental challenge in neuroimaging analysis. Traditional independent co

arXiv:2605.16571v1 Announce Type: cross Abstract: Time-to-event data is widespread across the life sciences and engineering, but it is typically encountered together with censoring, which complicates

Ethan Mollick discusses how a model's instruction-following capabilities and video processing abilities expand its potential applications and use cases. He emphasizes that combining strong instruction

arXiv:2605.17251v1 Announce Type: cross Abstract: Recent work due to Goel et al. gave the first efficient algorithms for learning with distribution shift in the challenging PQ framework. In this setti

Its a reason why there may be increased demand for some jobs disrupted by AI: when your local midsized insurance broker wanted software, there was no way they could even consider building internally.

Gary Marcus critiques podcasters for avoiding balanced discussion of contentious issues that significantly impact society, suggesting there is an reluctance to present opposing viewpoints on important

Google I/O is a virtual event featuring two keynote presentations: a Consumer Keynote at 10:00 AM PT and a Developer Keynote at 1:30 PM PT. The event showcases Google's latest products, innovations, a

I've been thinking a lot about the two different groups of evals you need in general agents/agents which handle broad tasks: 1. Benchmark evals - this is a suite of up to 100 eval cases which test the

arXiv:2605.17415v1 Announce Type: cross Abstract: We propose IVF-TQ, an IVF index with a codebook-free residual layer: a fixed random rotation followed by precomputed Lloyd-Max scalar quantization dep

arXiv:2605.16812v1 Announce Type: new Abstract: While Local Differential Privacy (LDP) serves as a foundational primitive for distributed data collection, its stringent noise injection requirement oft

🔥 JD Vance just wrapped his press briefing by voicing his FULL SUPPORT for Tommy Robinson's Unite the Kingdom rally 'What you see all over the west is this idea that the way to generate prosperity is

arXiv:2603.29167v2 Announce Type: replace Abstract: We study a systems-level visual inference problem: using an expensive privileged modality during training while preserving a fixed-cost, single-moda

Join tunneling – the underground movement Elon Musk on why tunnels became reality: “Everyone thought it was a joke. We made it a company” The idea behind The Boring Company is actually simple physics

Join us as a Forward Deployed Engineer! looking for someone to help us bring Hermes agent to the world. if you're a hermes agent power user and want to help others become one as well, hit my dms or em

arXiv:2602.15405v2 Announce Type: replace Abstract: Robust classification in noisy environments remains a fundamental challenge in machine learning. Standard approaches typically treat signal enhancem

arXiv:2602.17679v2 Announce Type: replace Abstract: Bayesian optimization (BO) is a powerful method for optimizing black-box manufacturing processes, but its performance is often limited when dealing

arXiv:2508.00712v2 Announce Type: replace-cross Abstract: We introduce JSON Bag-of-Tokens model (JSON-Bag) as a method to generically represent game trajectories by tokenizing their JSON descriptions

arXiv:2605.16896v1 Announce Type: new Abstract: Contextual Automatic Speech Recognition (ASR) faces challenges with large-scale keyword dictionaries, as excessive irrelevant candidates introduce noise