Search: “arxiv-cs-lg”

Tiny Recursive Message Passing

arXiv:2610.18649v1 Announce Type: new Abstract: Message passing neural networks have shown remarkable performance in algorithmic and constraint reasoning, due to their ability to encode the structure

TLA-Verus: Generating and Solving Temporal Proof Obligations with LLM Agents

Content type

All Blog X Post Paper YouTube Reddit GitHub

Clear filters

arXiv:2610.14923v1 Announce Type: new Abstract: The TLA+ (temporal logic of actions) formal specification toolkit has seen widespread adoption in modeling modern distributed software systems including

safetyarxiv-cs-lg

14 Oct 2026

Local Ai

To Align or Not To Align: Check Your COMPASS Before You Train

arXiv:2610.18638v1 Announce Type: cross Abstract: Combining pretrained models is a common strategy for building AI systems, whether by aligning a vision encoder with a language model or merging fine-t

local-aiarxiv-cs-lg

To Cache or Not to Cache: Understanding and Mitigating Safety Incompatibility in Cross-Model KV Cache Reuse

arXiv:2610.15721v1 Announce Type: new Abstract: Cross-model KV cache sharing reduces prefill computation by allowing a receiver model to reuse prefix KV states generated by a related sender model. Exi

To Defer or Not to Defer? Online Learning with LLMs and Congested Experts

arXiv:2610.15128v1 Announce Type: new Abstract: Modern AI systems increasingly combine large language models (LLMs) with human experts, using the LLM to handle routine queries while deferring uncertai

Agents

TopoCurate:Modeling Interaction Topology for Tool-Use Agent Training

arXiv:2603.01714v2 Announce Type: replace Abstract: Training tool-use agents typically relies on outcome-based filtering: Supervised Fine-Tuning (SFT) on successful trajectories and Reinforcement Lear

agentsarxiv-cs-lg

TopoPilot: Reliable Conversational Workflow Automation for Topological Data Analysis and Visualization

arXiv:2603.25063v2 Announce Type: replace-cross Abstract: Recent agentic systems demonstrate that large language models can generate complex codebases from natural language prompts. Despite this progr

Toward a Multimodal Foundation Model for Plasma State Reconstruction

arXiv:2610.15076v1 Announce Type: new Abstract: Plasma experiments observe coupled physical states through sparse, heterogeneous, and incomplete diagnostics. We present a proof of concept toward a mul

Toward Agents That Reason About Their Computation

arXiv:2510.22833v2 Announce Type: replace-cross Abstract: While reinforcement learning agents can achieve superhuman performance in many complex tasks, they typically do not become more computationall

Towards Green AI: Evaluating Energy Efficiency for Quantized LLM Inference

arXiv:2610.17531v1 Announce Type: new Abstract: While it is known that quantization of large language models (LLMs) reduces memory usage via lower-bit weights, studies quantifying the resulting impact

Towards Modality-Agnostic Seizure Classification: A Unified Deep Learning Framework for Heterogeneous EEG and Intracranial EEG Signals

arXiv:2610.16596v1 Announce Type: new Abstract: Seizure prediction and detection, essential for clinical treatment of epilepsy, remain the crucial task of this neurological disease. EEG and iEEG are w

Applications

Towards Optimality in Active Preference Learning

arXiv:2602.01581v2 Announce Type: replace Abstract: Aligning large language models (LLMs) depends on high-quality datasets of human preference labels, which are costly to collect. Although active lear

applicationsarxiv-cs-lg

Towards Safe Autonomy for Computer Use

arXiv:2610.18508v1 Announce Type: cross Abstract: The safety of LLM-based agents currently rests on alignment training and safety classifiers, neither of which can rule out that a sophisticated indire

Towards Universal Calibration for In-Context Classification

arXiv:2610.17096v1 Announce Type: new Abstract: In-Context Learning (ICL) has received a lot of interest recently due to its ability to improve classification accuracy for new tasks without having to

TPPO: Tracking-Value PPO For Language Model Reasoning

arXiv:2610.16794v1 Announce Type: new Abstract: Proximal Policy Optimization (PPO) is widely used in reinforcement learning with verifiable rewards for language-model reasoning. While value evolution

TRACE: Temporal Risk Assessment and Concept Editing for Safer Language Generation

arXiv:2610.15365v1 Announce Type: cross Abstract: Large language models (LLMs) can produce harmful content while generating a response. A useful safeguard should not only detect this risk during gener

Train for Many, Update with One: Improving Multi-Sample Reasoning via Fenchel-Bregman Posterior Learning

arXiv:2610.17735v1 Announce Type: new Abstract: Multi-sample reasoning measures candidate coverage, the probability that at least one of K candidates is correct. However, minimizing the average loss o

Training Generalist Navigation Policies via Action Self-Distillation

arXiv:2610.17593v1 Announce Type: cross Abstract: Language provides a natural interface for humans to specify and reason about goals, but training language-conditioned robotic policies and reasoning t

Training LLMs for Multi-Agent Collaboration with Verifiable Information Rewards

arXiv:2610.17893v1 Announce Type: cross Abstract: Effective collaboration among large language model (LLM) agents in multi-agent systems requires sharing relevant evidence, requesting missing informat

Triage-PiEvo: Evidence Admission for Principle-Evolving Scientific Agents

arXiv:2610.14683v1 Announce Type: new Abstract: Large language model (LLM)-based AI Scientists advance scientific discovery, yet they suffer from inefficiencies due to noisy observations. Existing pri

Trust-Calibrated VLA Policy Post-Training with Evolving Imagination

arXiv:2610.16517v1 Announce Type: cross Abstract: Vision-Language-Action (VLA) models are often pretrained via imitation learning, making reinforcement learning (RL) post-training important when deplo

TSRL: Trigger-based Supervised Reinforcement Learning for Continual Agent Training

arXiv:2610.17726v1 Announce Type: new Abstract: Large language model (LLM) agents excel at complex, multi-step tasks but suffer from catastrophic forgetting during continual learning--acquiring new sk

TStruct: Learning Shared Temporal Structures for Long-Term Time-Series Forecasting

arXiv:2610.17864v1 Announce Type: new Abstract: Long-term time series forecasting requires temporal dependency modeling that remains stable and generalizable under temporal distribution shifts. Howeve

TurnCost: Turns, Not Observations: Cache-Aware Loop Engineering for Coding Agents

arXiv:2610.15093v1 Announce Type: cross Abstract: AI coding agents operate in iterative loops: they modify code, run tools, inspect the results, and decide what to do next. We call the design of this

Local Ai

Two Clocks: Why Larger Rollout Batches Learn Slower but Fail on Schedule in Reinforcement Learning with Verifiable Rewards

arXiv:2610.18853v1 Announce Type: new Abstract: Reinforcement learning with verifiable rewards (RLVR) relies on costly model-generated responses, motivating larger rollout batches and square-root lear

local-aiarxiv-cs-lg

Two For The Price Of One: Curvature-Aware Pruning Preserves Influence Functions Too

arXiv:2610.18516v1 Announce Type: new Abstract: Post-training pruning enables efficient deployment, but conventional methods do not explicitly preserve internal-gradient alignment between sparse and d

Two Linear Programs are Better than One

arXiv:2610.15909v1 Announce Type: cross Abstract: The extension complexity operatorname{xc}(P) of a polytope P is the minimum number of facets of a polytope that projects onto it. Motivated by the com

ULPack: Reference-Conditioned Lossless Compression of Checkpoint Trajectories

arXiv:2610.14184v1 Announce Type: new Abstract: Studying model training requires checkpoint trajectories, whose storage cost limits temporal resolution. Although adjacent checkpoints are numerically c

UMM-RM: An Upcycle-and-Merge MoE Reward Model for Mitigating Reward Hacking

arXiv:2512.00724v3 Announce Type: replace Abstract: Reward models (RMs) are critical to reinforcement learning from human feedback (RLHF). However, policy models can exploit biases or spurious correla

Uncertainty Evaluation: Bridging Machine Learning and Measurement Science

arXiv:2610.18066v1 Announce Type: new Abstract: Reliable uncertainty evaluation is essential for assessing the trustworthiness of machine learning (ML) predictions, particularly in safety-critical app

Uncovering the Generative Landscape of Diffusion Models: A Spectral-Guided Quality-Diversity Diffusion Framework

arXiv:2610.15724v1 Announce Type: new Abstract: Denoising Diffusion Probabilistic Models have emerged as powerful generative priors across domains ranging from molecular design to high-resolution imag

Understanding and Mitigating Training Instability in Large-Scale Recommender Systems: A Cascade Perspective

arXiv:2610.14394v1 Announce Type: cross Abstract: Training large-scale recommender systems on dynamic industrial platforms, such as Short-Form Video (SFV) services with billions of daily interactions,

Understanding and Reducing Misalignment in Persuasion Optimization

arXiv:2610.16070v1 Announce Type: cross Abstract: Frontier models are now trained for complex multi-agent tasks, from running a company to engaging in negotiations. These tasks necessitate training mo

Understanding Circulant Permutation to Extend the CMinHash Estimator

arXiv:2610.18551v1 Announce Type: cross Abstract: CMinHash promises a new direction for designing MinHash algorithms with reduced variance and storage space via circulant permutations. However, the or

Understanding Gene Expression-to-Image Learning: Spatial Structure and Information Fidelity

arXiv:2610.17699v1 Announce Type: cross Abstract: Single-cell RNA sequencing (scRNA-seq) enables cell-level analysis of biological heterogeneity, but learning effective representations from high-dimen

Understanding Helpfulness and Harmless Tension in Reward Models

arXiv:2606.13209v2 Announce Type: replace Abstract: Reward models (RMs) are a key component of reinforcement learning from human feedback, enabling the alignment of large language models with human va

Understanding Hidden Spatial Preferences in Bayesian Optimization

arXiv:2610.14696v1 Announce Type: new Abstract: Bayesian optimization uses posterior uncertainty to decide where to explore, but this uncertainty is not spatially neutral. On bounded domains, Gaussian

Understanding Personalization Gains in Whisper

arXiv:2610.17019v1 Announce Type: cross Abstract: Whisper-style ASR models provide strong zero-shot transcription, but their residual errors are not evenly distributed across datasets, recording condi

Understanding the Interplay between Memorization and Learning in Large Language Models

arXiv:2507.14777v2 Announce Type: replace Abstract: We investigate foundational questions about the interplay between memorization and learning in large language models (LLMs). When an LLM generates a

Unfair and Unsafe: Everyday Bias Triggers Emergent Misalignment

arXiv:2610.15961v1 Announce Type: cross Abstract: Emergent misalignment (EM) occurs when fine-tuning a language model to a narrow task makes it misaligned on unrelated ones. Because organizations now

UNISON: A Unified Framework for Learning from Scored Bags

arXiv:2610.15564v1 Announce Type: new Abstract: We introduce UNISON, a unified framework that bridges multiple instance learning and recommendation systems by treating both as instances of learning fr

Universal Distributed Feature Extraction Complementary to Side Information via H-Score

arXiv:2610.16707v1 Announce Type: cross Abstract: This paper considers a distributed estimation system where edge nodes transmit averaged features to a center node for parameter estimation. A key chal

Universal set of Observables for Forecasting Physical Systems through Causal Embedding

arXiv:2105.10759v4 Announce Type: replace-cross Abstract: We show how a pair of points can uniquely represent a left-infinite sequence obtained from observations of an underlying dynamical system thro

Unrolled Neural Networks for Constrained Optimization

arXiv:2601.17274v2 Announce Type: replace Abstract: We develop unrolled neural networks to solve constrained optimization problems, offering accelerated, learnable counterparts to dual ascent (DA) alg

Local Ai

Using Line Segment Tracking to enable ML-based Track Reconstruction in CMS

arXiv:2610.15963v1 Announce Type: cross Abstract: High-pileup conditions in CMS during the HL-LHC era make charged-particle tracking increasingly challenging as detector occupancy and combinatorics gr

local-aiarxiv-cs-lg

Value-Preserving Action Quantization

arXiv:2610.17252v1 Announce Type: cross Abstract: Search-based policy learning, such as Monte Carlo tree search (MCTS), offers the flexibility to trade runtime computation for data efficiency and adap

Variable Input Masked Autoencoders for Wrist-Worn Accelerometry

arXiv:2610.17383v1 Announce Type: new Abstract: Large-scale repositories of wearable sensor data have enabled the development of foundation models for human activities and behavior. However, existing

Variance Fingerprints: Component-Wise Identification of Content Factors by Augmentation Design

arXiv:2610.14260v1 Announce Type: new Abstract: Augmentation-based self-supervised learning can recover the content shared across views without separating its underlying factors into individual coordi