Search: “arxiv-cs-ai”

AMBER: Training Long-Horizon Web Agents through Append-Only Memory

arXiv:2610.07118v1 Announce Type: new Abstract: Modern language-model agents increasingly interact with external environments over long-horizon, multi-step trajectories, where the accumulated interact

An AI-Assisted Formalization of the Poincare Conjecture

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

DGX agent

arXiv:2610.08329v1 Announce Type: new Abstract: We present an AI-assisted Lean 4 formalization of the Poincare conjecture. The project began with limited reusable formal infrastructure for the geometr

agentsarxiv-cs-ai

7 Oct 2026

An Empirical Fault Vulnerability Exploration of ReRAM-based Process-in-Memory CNN Accelerators

arXiv:2610.07029v1 Announce Type: cross Abstract: Resistive random-access memory (ReRAM)-based Processing-in-Memory (PIM) accelerator is a promising platform for processing massively memory intensive

Tutorials

Anchor and Adapt: Asymmetric Prompt Adaptation for Few-Shot Industrial Anomaly Detection

arXiv:2610.07016v1 Announce Type: cross Abstract: In few-shot industrial anomaly detection, the few normal target images provide no direct defect supervision, making anomaly prompts difficult to learn

tutorialsarxiv-cs-ai

Anchor Divergence for Semantic Geometry in Contrastive Learning

arXiv:2610.06919v1 Announce Type: new Abstract: This paper concerns how semantic context determines geometry in learned vector representations. Similarity is typically measured using cosine similarity

AnyBottle: A Recipe to Only Keep the Concepts You Really Need

arXiv:2610.08552v1 Announce Type: new Abstract: Concept bottleneck models (CBMs) make predictions inspectable and intervenable by routing them through human-interpretable concepts, but originally requ

APEX: Active Protection at Execution Boundaries for LLM Agents

arXiv:2610.06966v1 Announce Type: cross Abstract: Indirect prompt injection (IPI) hides adversarial instructions in content that large language model (LLM) agents read at runtime. As agents compose he

Tutorials

AssemState: Manual and Physical-State-Guided Reasoning for Zero-shot Furniture Assembly

arXiv:2610.08446v1 Announce Type: new Abstract: Multimodal large language models (MLLMs) have made significant progress in visual understanding, but precise 3D spatial reasoning integrated with physic

tutorialsarxiv-cs-ai

Atom-JEPA: Joint-Embedding Predictive Architecture for 3D Atomistic Systems

arXiv:2610.08400v1 Announce Type: cross Abstract: Large-scale self-supervised pretraining has reshaped modern machine learning, substantially advancing the ability of language and vision models to gen

Attacca: Goal-Directed Control under State Continuity for Long-Horizon Embodied Agents

arXiv:2610.07785v1 Announce Type: new Abstract: A central capability of embodied agents is to accomplish complex objectives through sequences of interdependent tasks. Yet existing visual goal-conditio

AttSVD:Prompt-Adaptive Low-Rank KV Cache Compression via Attention-Guided SVD

arXiv:2610.06927v1 Announce Type: cross Abstract: The key-value (KV) cache of autoregressive transformers grows linearly with context length and dominates memory at long context. Most training-free re

Auditable Claims about AI Agents

arXiv:2610.07459v1 Announce Type: new Abstract: Organizations make claims about their AI agents: a person approves every external email, every action is logged, an evaluation shows the agent is safe t

Axiom Satisfiability of Linear Rewards in Alignment

arXiv:2610.06892v1 Announce Type: cross Abstract: Learning from human preference data is the dominant route to aligning language models with human values. In linear social choice, where rewards are li

Beyond Corrected Memory: Execution Consistency in Multi-Agent Systems

arXiv:2610.08101v1 Announce Type: new Abstract: Shared memory coordinates agents' actions, but correct records do not establish that those actions satisfy task requirements. Memory governance and fail

Beyond Refusal Patterns: Safe-Role Internalization for Robust and Generalizable LLM Safety Alignment

arXiv:2610.07023v1 Announce Type: new Abstract: Large Language Models (LLMs) have achieved remarkable capabilities but remain vulnerable to jailbreak attacks that elicit harmful or unsafe outputs. Exi

Beyond Scalar IoU: Structured Verification from Rollout Groups for Video Temporal Grounding

arXiv:2610.07601v1 Announce Type: new Abstract: Reinforcement learning with verifiable rewards (RLVR) provides a natural framework for adapting pretrained models to video temporal grounding, where gen

Beyond Successor Accuracy: State Retention for Recursive Self-Improvement in Recommendation

arXiv:2610.07105v1 Announce Type: cross Abstract: Recommendation recursive self-improvement (Rec-RSI) feeds recommender outputs into subsequent training. Evaluating each round solely through its lates

Beyond Waypoint Regression: Query-Based Cost Learning over Reachable Ego Futures for End-to-End Driving

arXiv:2610.08123v1 Announce Type: cross Abstract: End-to-end planners based on waypoint regression achieve strong open-loop accuracy, but they primarily learn to mimic expert geometry and remain diffi

BioStudyBench: Evaluating Agents on Post-Cutoff Biomedical Studies

arXiv:2610.07614v1 Announce Type: new Abstract: We evaluate whether AI agents can match the reported findings of published biomedical studies using public data. Existing evaluations do not consistentl

BluffJAX: Adversarial Imperfect Information Games in JAX

arXiv:2610.07686v1 Announce Type: new Abstract: We introduce BluffJAX: an open-source suite of adversarial imperfect information games in JAX. We provide canonical implementations of games designed fo

Boosting Large Language Models with Mask Fine-Tuning

arXiv:2503.22764v3 Announce Type: replace-cross Abstract: The large language model (LLM) is typically integrated into the mainstream optimization protocol. However, it remains underexplored whether ma

CACHEFORGE: LLM-Guided End-to-End Generative Cache Replacement Policy for Performance and Hardware Efficiency

arXiv:2610.07668v1 Announce Type: cross Abstract: Modern cache replacement designs saturate because they operate within fixed representational structures, hand-crafted and heuristic based feature-engi

Calibrated Uncertainty for Informative Path Planning in Aquatic Environmental Monitoring

arXiv:2609.34577v2 Announce Type: replace Abstract: Informative Path Planning for scalar field reconstruction uses predictive uncertainty to direct sensing vehicles toward maximally informative locati

Calibration Is Not Control: Intervention Value for LLM-Agent Oversight

arXiv:2606.21399v2 Announce Type: replace Abstract: Runtime oversight often intervenes when an LLM agent's calibrated failure score crosses a threshold. Yet states with the same failure risk can diffe

Can Agents Work for Everyone? Cross-User Reliability for Mobile GUI Agents in Personalized User Interfaces

arXiv:2610.07972v1 Announce Type: new Abstract: Mobile GUI agents increasingly operate on interfaces influenced by users' histories and preferences, but their reliability across different users remain

Hardware

Can Power Draw Constrain Covert Compute? Limits of Analogue Verification for AI Governance

arXiv:2610.07476v1 Announce Type: cross Abstract: Frontier AI treaties or agreements on limiting computation require external verification; an external auditor must be able to confirm how much computa

hardwarearxiv-cs-ai

Can Semantic Geometry Teach an AI Judgement?

arXiv:2610.07249v1 Announce Type: new Abstract: How can an AI agent determine what rules to follow? One rule permits an action. Another imposes a condition, exception, or conflicting obligation. Deter

Cascadia: Resident 975B MoE Inference on Eleven AI PCs

arXiv:2610.07219v1 Announce Type: new Abstract: Mixture-of-experts models make nearly trillion-parameter capacity accessible with sparse per-token computation, provided that the serving system can dis

Catching Developers in the Flow: Low-Latency Agentic Program Repair at Google Scale

arXiv:2610.07289v1 Announce Type: cross Abstract: Manual repair of program failures is time-consuming and disruptive for software developers, particularly during the pre-submit phase where test failur

Local Ai

CausalBind: Causal Modeling and Learning for Protein-Molecule Virtual Screening

arXiv:2610.07340v1 Announce Type: cross Abstract: Protein-molecule virtual screening is increasingly cast as a problem of representation learning in a shared embedding space. Existing methods rely on

local-aiarxiv-cs-ai

ChartBmkAgent: Harness-Governed Multi-Agent Construction of Chart QA Benchmarks from Sparse Error-Taxonomy Specifications

arXiv:2610.08106v1 Announce Type: new Abstract: Multimodal large language models (MLLMs) advance rapidly, while conventional benchmark development lags behind, delaying investigation of newly observed

CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

arXiv:2610.07557v1 Announce Type: cross Abstract: Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and re

Applications

Cleave: Scaling Tensor Program Optimization via Decoupled Algebraic Search and Operator Scheduling

arXiv:2610.07742v1 Announce Type: cross Abstract: Optimized kernels such as FlashAttention and FlashDecoding are crucial for accelerating today's large models. Most of them are handwritten by experts

applicationsarxiv-cs-ai

CLM-as-a-Judge: Evaluating an Open Contrastive Decision Model on Public Judge Benchmarks

arXiv:2610.07177v1 Announce Type: cross Abstract: An open contrastive decision model is near chance as a judge on the hard public benchmarks: Contrastive-LM/CLM-v0.1-8B scores between 0.351 (best- of-

CoDe-LoRA: Mitigating the Orthogonality Dilemma in Continual Learning of LLMs via Knowledge Consolidation and Decoupling

arXiv:2610.08312v1 Announce Type: new Abstract: Continual learning (CL) is essential for Large Language Models (LLMs) to sequentially adapt to evolving tasks. To mitigate catastrophic forgetting, rece

Compact Robot Policies Need Fine-Grained Visual Representations

arXiv:2610.08183v1 Announce Type: cross Abstract: Multi-task manipulation policies differ in architecture, scale, and pretrained priors all at once, so published comparisons cannot attribute performan

Comparative review of hybrid forecasting models for short-term prediction of building thermal load

arXiv:2610.06881v1 Announce Type: cross Abstract: In this paper, a comparative review of different hybrid models for short-term forecasting of building thermal demand is carried out. Particularly, the

COMPASS: Finding Where Reasoning Lives in Language Models

arXiv:2610.07469v1 Announce Type: new Abstract: Explicitly eliciting reasoning substantially improves LLM performance. Existing approaches require a predefined characterization of reasoning, whether t

Complementary Feature Domains: Information Preservation Does Not Imply Predictive-Contribution Preservation

arXiv:2610.07565v1 Announce Type: cross Abstract: Complementary Feature Domains (CFD) theory characterizes predictive value as a context-indexed contribution system induced jointly by representations

Component and Dimension Sparsity in Transformer Refusal Mechanisms

arXiv:2610.06903v1 Announce Type: cross Abstract: Activation steering manipulates large language model behavior by intervening on internal activations, but the mechanistic basis of these interventions

Confidence-Ordering Reversal under Contextual Priors in Neural Decoding

arXiv:2610.08229v1 Announce Type: new Abstract: Contextual priors improve neural-to-language decoding by reshaping candidate scores. However, confidence is read from the same reshaped scores, so the e

Confidence Reasoning Graphs: Structured Confidence Estimation for LLM Agents

arXiv:2610.07948v1 Announce Type: new Abstract: When using an LLM agent in a consequential domain, making an informed decision about whether to trust its output or intervene requires calibrated confid

Continuous Memory Machines

arXiv:2610.07907v1 Announce Type: new Abstract: Recurrent neural networks typically compress information into a single vector-valued recurrent state, forcing short-term computation and long-term reten

Contrastive Learning for Aspect Representation towards Explainable Recommendation

arXiv:2610.07761v1 Announce Type: cross Abstract: In this work, we propose a novel recommendation model, CLARER (Contrastive Learning for Aspect Representation towards Explainable Recommendation) that

Cooperating with Future Collaborators: Multi-Agent RL under Staggered Participation

arXiv:2610.07578v1 Announce Type: new Abstract: In cooperative Multi-Agent Reinforcement Learning (MARL), agents are often trained under concurrent participation, while in many tasks some agents act e

Coupled but Late: Turn-Taking Between Full-Duplex Speech Models in Unscripted Dialogue

arXiv:2610.08683v1 Announce Type: new Abstract: Full-duplex speech models are trained to converse with a person, but they are increasingly made to converse with each other, in self-play data generatio

CroissantMiner: Automated Extraction and Validation of Croissant Metadata for ML Datasets

arXiv:2610.07132v1 Announce Type: cross Abstract: Croissant has emerged as a standard for machine-readable dataset metadata, yet populating its fields remains labor-intensive and requires careful read

Cross-Lingual Activation Steering for Multilingual Language Models

arXiv:2601.16390v2 Announce Type: replace-cross Abstract: Large language models exhibit strong multilingual capabilities, yet significant performance gaps persist between dominant and non-dominant lan