Your paper timeline
Scroll AI takes the way you would scroll a great paper aggregator: quick signal first, deeper critique when something earns your attention, and challenges when a claim feels off.
698 papers in cs.AI
Trending mixes fresh papers with community signal.
0
cs.CVcs.AI Siqi Yang, Yimu Wang, Ziqi Cai et al. · Oct 14, 2026

PAWA tackles multi-agent world modeling in shared environments like Minecraft, where one player's actions change what every other player sees—not just in their local field of view, but in directions they are not currently looking. The core idea is to jointly forecast each player's point-of-view (POV) video alongside a world-stabilized panoramic video, conditioned on all players' actions. The model uses a dual-tower architecture with ray-aligned cross-attention that links tokens viewing the same world direction regardless of whether they appear in rectilinear POV or equirectangular panorama coordinates, plus a quadratic-phase player encoding that scales identities as $m^2$ instead of $m+1$. The work also introduces a scalable dataset pipeline that records gameplay without graphics clients and renders replays offline, supporting more than 64 simultaneous players.

A multiplayer world model must predict how the independent actions of several players change a shared environment, including changes outside a player's current field of view. A point-of-view (POV) video captures such changes only after they enter its field of view, whereas panoramic video records the surroundings in every viewing direction and has served as an intermediate representation of the world state in recent world models. Learning this task therefore requires synchronized POV and panoramic videos of interacting players together with their actions, yet no existing dataset provides this combination in Minecraft, an established testbed in which players act independently in a shared, modifiable 3D world. We present PAWA, a dataset and framework for action-conditioned panoramic multiplayer world modeling. The dataset pairs each player's POV video with world-stabilized panoramic video and aligned actions. Its distributed pipeline decouples CPU gameplay capture from GPU rendering, scales beyond 64 simultaneous players, and re-renders each recorded session under new observation configurations without replaying the gameplay. On this dataset, we develop a dual-tower model that jointly predicts POV and panoramic video and couples the two streams through cross-attention that aligns tokens observing the same direction in a shared world frame. We further introduce a quadratic-phase player encoding that provides many more player codes than existing rotary codes at the same embedding dimension. Experiments show that PAWA outperforms state-of-the-art multiplayer world models in POV prediction quality while also producing high-fidelity panoramic predictions. The dataset and collection pipeline are open source to support further research on multiplayer world models.
0
cs.LGcs.AImath.OC Kaifei Wang, Zikang Shan, Liwei Wang et al. · Oct 14, 2026

Momentum is a pillar of modern optimization, yet its benefits in reinforcement learning with verifiable rewards (RLVR) remain unclear. This paper studies a KL-regularized bandit formulation of RLVR and proves that, with exact policy gradients, larger EMA coefficients strictly accelerate convergence within a safe overshoot-free range. Its central insight is that stochastic sampling obscures this gain unless the coefficient scales with the learning rate so that $\eta/(1-\beta)$ stays constant, a principle validated in bandits and in LLM post-training on Qwen models.

Momentum is a classical tool for accelerating convex optimization and a standard component of modern large language model training. Yet recent empirical work has questioned the usefulness of first-moment momentum in reinforcement learning with verifiable rewards (RLVR). We study this question through a bandit formulation of RLVR with bias-corrected exponential moving average (EMA) momentum, where the EMA coefficient $\beta$ controls how quickly the weights on past gradients decay. When policy gradients are evaluated exactly, we prove that increasing $\beta$ within a range that prevents overshoot strictly accelerates optimization. When gradients are estimated from sampled responses, a positive expected gain can be obscured by sampling fluctuations. We show that as the learning rate $\eta$ decreases, the expected gain with fixed $\beta$ vanishes faster than these fluctuations, whereas increasing $\beta$ to keep $\eta/(1-\beta)$ within the safe regime preserves a nonvanishing gain that eventually dominates them. Bandit simulations quantitatively validate these predictions. RLVR experiments on Qwen3-4B-Base using SGD with EMA and AdamW support our principle of choosing larger coefficients in practical LLM post-training. On Qwen2.5-32B with AdamW, simply increasing $\beta_1$ improves mean validation accuracy by nearly $2$ percentage points over the conventional choice, demonstrating the principle's effectiveness at a larger model scale.
0
cs.AI Foteini Oikonomou, Maria Pantazi-Kypraiou, George Goudroumanis et al. · Oct 14, 2026

Post-legalization placement refinement seeks to reduce wirelength after global placement without breaking site constraints. This paper audits whether a GNN-PPO agent can handle that task by systematically exploring 18 training configurations on three ISPD2015 benchmarks, varying rewards, action spaces, GNN architectures, and graph-partitioning strategies. The study finds that RL lags behind classical tools, and it dissects why—pinning blame on credit-assignment bottlenecks, GNN over-smoothing, and netlist regularity—while proposing a lightweight netlist classifier to guide training decisions.

Graph Neural Networks (GNNs) and Reinforcement Learning (RL) have recently been explored for VLSI placement optimization, but their effectiveness for post-legalization placement refinement remains unclear. This paper presents a systematic design space exploration of a GNN-Proximal Policy Optimization (GNN-PPO) framework across three ISPD2015 benchmarks. We evaluate 18 configurations covering reward functions, GNN architectures, action spaces, candidate-set sizes, and training strategies. We analyse the results we obtain to identify pitfalls and to assess the prospects and opportunities of the RL methods for post-legalization placement. On top of that we propose a design classification approach to guide the design decisions of RL models.
0
cs.CVcs.AI Imen Bajar, H\'eber Hwang Arcolezi, Antoine Boutet et al. · Oct 14, 2026

This paper asks whether releasing learned embeddings from pretrained brain MRI encoders—instead of raw scans—actually protects patient privacy. The authors audit five diverse encoders on two longitudinal datasets, measuring patient linkage, re-identification, and sex-attribute inference under an explicit attacker model. They find that several embeddings retain enough subject-specific structure to enable rank-1 re-identification above 90% on both datasets, and that sex can be inferred with balanced accuracy up to 95.5%. The core takeaway is that embedding release alone is insufficient to establish anonymity.

Pretrained representations are increasingly used to share and reuse information from medical images without exposing the original scans, but it is unclear how much patient-specific information these representations retain. We investigate this question for brain magnetic resonance imaging (MRI) by evaluating five frozen pretrained encoders spanning different architectures, pretraining objectives, and training domains on two longitudinal T1-weighted datasets, OASIS-2 and MIRIAD. Under an attacker model with access to released embeddings, the corresponding public encoder, and auxiliary MRI scans, we evaluate patient linkage and sensitive-attribute inference. Across the evaluated representations, we observe substantial subject-specific information: rank-1 patient linkage reaches up to 99\% on MIRIAD and exceeds 90\% on OASIS-2 for the highest-risk representation, despite the absence of an identification objective during encoder training. We further show that the released embeddings retain information about a demographic attribute, with recorded-sex prediction reaching balanced accuracy of 90.9\% on OASIS-2 and 95.5\% on MIRIAD. Overall, our results demonstrate that replacing raw brain MRI with learned embeddings does not, by itself, eliminate patient-linkage or attribute-inference risk, and is therefore insufficient on its own to establish anonymity.
0
cs.CRcs.AI Behrad Tajalli, Henk Berendsen, Xiaoyun Xu et al. · Oct 14, 2026

This paper reframes backdoor stealthiness in deep neural networks as a multi-space measurement problem rather than a single latent property. The authors benchmark ten attacks across four datasets and three architectures, measuring observable footprints in input, feature, and parameter space to show that stealthiness is fragmented: an attack can be quiet in one space and conspicuous in another. They also introduce two diagnostic metrics—CDBI and TUP—to address blind spots in global feature clustering and channel-level concentration. The central message is that future stealthiness claims should be backed by evidence from all three spaces, not by a single metric or defense.

Backdoor attacks on deep neural networks are commonly evaluated by attack success rate and benign accuracy, yet their stealthiness remains inconsistently defined and measured. Existing work often studies only one observable aspect of stealthiness, such as trigger imperceptibility, feature-space separability, parameter-space concentration, or evasion of particular defenses. This creates a fragmented picture: an attack may appear stealthy under one metric while leaving conspicuous footprints elsewhere. This paper presents a tri-space measurement study of backdoor stealthiness in image classification. We distinguish latent stealthiness---the ideal but unobservable difficulty of distinguishing a backdoored system from a benign one---from measurable footprints in three spaces: input, feature, and parameter space. Under this framework, we evaluate representative backdoor attacks across four datasets and three model architectures using a broad suite of footprint metrics. Our results show that stealthiness is not monolithic: attacks that are quiet in one space are often loud in another, and existing attacks rarely achieve consistently small footprints across all three spaces. We further analyze agreement and disagreement among stealthiness metrics and study how footprint measurements interact with attack success rate. Based on observed blind spots in existing measurements, we introduce two diagnostic metrics: Class-Specific Davies--Bouldin Index (CDBI), which captures class-conditional feature overlap, and TAC--UCLC Product (TUP), which identifies channels that are both trigger-responsive and downstream influential. These metrics are intended to augment, not replace, the broader measurement suite. Finally, we provide practical guidance for future stealthiness evaluations.
0
cs.LGcs.AI Haruki Settai, Tadashi Kozuno, Shinji Ito · Oct 14, 2026

Semi-gradient TD with nonlinear function approximation is notoriously unstable because the bootstrap target moves as the parameters evolve. This paper studies the problem in the mean-field regime for two-layer neural networks and identifies a stability regime where entropy-driven relaxation dominates the sensitivity of the moving target. Under the resulting condition, the authors prove exponential last-iterate convergence and quantify the regularization bias, then extend the same mechanism to soft Q-learning.

Semi-gradient temporal-difference learning is a core algorithmic component of reinforcement learning, but bootstrapping with function approximation generally induces a non-conservative vector field and can lead to instability. We analyze this effect for two-layer neural networks in the mean-field regime and identify a simple stability mechanism in which entropy-induced relaxation dominates the sensitivity of the moving bootstrap target. Under this condition, we prove exponential convergence to a unique fixed point and quantify its bias relative to the unregularized Bellman solution. We also show that the same mechanism extends to entropy-regularized off-policy control through soft Q-learning.
0
cs.LGcs.AI Tinglan Wang, Haixu Liu, Shaobo Chen et al. · Oct 14, 2026

MeanFlow normally couples the prediction horizon $h_k$ to the update step $\delta_k$. This paper decouples them, showing on CIFAR-10 that longer horizons hurt FID near the source $(t=0)$ but help at the midpoint $(t=0.5)$, and that this midpoint gain depends on earlier guidance choices. A frozen four-query rule improves mean FID by 2.0 without retraining or extra calls, yet ImageNet calibration finds no benefit beyond shifting query starts. The work establishes prediction horizon as a distinct but configuration-sensitive inference control.

MeanFlow predicts interval-average velocities, but conventional few-step sampling ties the interval queried from the model to the duration of the state update. We separate these two quantities at inference, fixing the model, update grid, and number of queries while varying the prediction horizon. Our central finding is that the horizon response depends on both query position and the states entering that query. Across seven independently trained CIFAR-10 checkpoints at classifier-free guidance (CFG) scale 2, a longer horizon worsens FID at early steps but improves it at the midpoint. To probe whether query time alone determines this response, we fix the midpoint query and current/subsequent guidance while changing only earlier CFG. In held-out factorial outcomes on five previously studied checkpoints, the mean midpoint horizon benefit increases from 0.109 to 1.308 FID, indicating sensitivity to the incoming-state distribution. A frozen four-query rule reduces mean CIFAR-10 FID by 2.023 without retraining or extra queries, including gains on five checkpoints trained after rule selection. A milder rule also improves mean FID by 1.041 on a stronger frozen grid, with fixed-rule FID gains on the evaluated public ImageNet-256 and AFHQ checkpoints. However, matched-budget calibration favors query-start shifting in historical CIFAR tests, and the tested Horizon allocation adds no FID benefit beyond Grid+Start on two public ImageNet models. Thus, prediction horizon is a distinct, position- and state-sensitive inference control, but not a universally preferred one.
0
cs.SDcs.AIcs.CL Puneet Mathur, Dinesh Manocha · Oct 14, 2026

Multi-party floor control is the next bottleneck for full-duplex voice agents: systems must decide not just when speech ends, but whether overlapping listeners are backchanneling or genuinely taking the floor. MultiPartyTurnBench introduces 240 synthetically generated, channel-separated conversations spanning two to five speakers and six interaction types, evaluating End-of-Turn (EOT) and Interruption (INT) detection with exact causal annotations. The results reveal a stark capability asymmetry: turn completion is largely tractable, while selective interruption handling remains near chance even for state-of-the-art commercial agents.

Full-duplex speech systems must decide when to enter, hold, or relinquish the conversational floor, even as multiple speakers overlap or backchannel without taking it. Existing evaluations study dyadic turn-taking or end-to-end agent behavior, but lack a unified, controlled evaluation of genuine floor transitions against confusable non-events in multi-party settings. We introduce MultiPartyTurnBench (MPTB), a benchmark of 240 synthetically generated, channel-separated conversations spanning two to five speakers and six interaction types. MPTB evaluates two complementary tasks: End-of-Turn (EOT) detection distinguishes genuine turn completion from temporary holds, while Interruption (INT) detection distinguishes successful floor takeovers from non-floor-taking speech. Exact event-conditioned annotations enable causal evaluation using false-positive-constrained recall and signed latency. Across acoustic, semantic, and turn-projection baselines, we find a stark asymmetry: learned systems achieve 82.5-92.6% EOT recall at 4.3-11.8% false-positive rates, while INT detection suffers from missed takeovers or excessive false activations. This asymmetry extends to five full-duplex agents which achieve 86.1-95.8% balanced accuracy on turn entry, yet perform near chance (46.9-54.7%) on selective interruption handling. Gemini-3.8-Live yields to 97.7% of backchannels, whereas MiniCPM-o-4.5 yields to only 1.4% of genuine interruptions. These findings establish selective floor control as a distinct, unresolved challenge for reliable multi-party voice interaction.
0
cs.AI Angelo Ferrando · Oct 14, 2026

Agentic AI pipelines interleave LLM decisions, state changes, tool calls, and cross-agent delegation, so a single monitoring formalism cannot cover every boundary. This paper proposes AgenticRV, an architecture that separates execution-boundary adapters from monitors via canonical events, per-monitor projections and abstractions, and a policy layer that arbitrates normalized verdicts. Its core contribution is an interoperability contract with formal conditions for when observations suffice, when monitors can be replaced without changing decisions, and when blocking actually prevents effects.

Agentic AI systems combine model decisions, mutable state, tool calls, and delegation to external agents. Monitoring them requires observations from different execution boundaries, while prevention requires control before an operation produces its effect. We present AgenticRV, a runtime-verification architecture that separates these boundaries from the monitoring formalism. Adapters emit canonical events; each monitor receives its own projection and abstraction; and a decision policy uses normalised verdicts to select a reaction supported by the responsible adapter. We formalise when observations suffice, monitor replacement preserves decisions, and blocking prevents unsafe effects. We also distinguish rejected attempts from completed effects, avoiding the assumption that a blocked request must leave every monitor in a permanent violation state. The Python implementation supports LangGraph, MCP, and A2A. A controlled LangGraph experiment combines an external Reelay temporal monitor with a programmatic report monitor; ablations show why both are needed for the selected requirements. Differential checks and cross-adapter tests provide further integration evidence. An LLM-driven incident-response example illustrates the same enforcement path, while existing microbenchmarks isolate framework costs. The results support reuse of monitoring methods at explicit control boundaries, subject to the stated observation and deployment assumptions.
0
cs.CRcs.AI Shadaab Kawnain Bashir, Rakesh Podder, Philip D. Hopkins et al. · Oct 14, 2026

CPS security analysts operate under need-to-know constraints that give them incomplete cross-domain views, risking flawed risk assessments. AWARE-RG addresses this by building a role-bounded abstraction lattice over Resiliency Graphs using MITRE ATT&CK tactics ordered by the ICS Cyber Kill Chain. It uses AI planning to validate attack-fault queries, repair incomplete analyst paths, and generate need-to-know explanations without exposing unauthorized predicates.

Understanding the security posture of cyber physical systems (CPS) requires reasoning across both information technology (IT) and operational technology (OT). However, a security analyst often holds an incomplete, role-specific view of the underlying system which has most likely resulted from their knowledge limited by a need-to-know framework. Such an incomplete view can potentially lead them to incorrectly assess if a cyber attack produces an untoward physical consequence resulting in making uninformed decisions about system resilience. In this work, we present AWARE-RG (Abstraction Aware Explanation of Resiliency Graphs), a semi-automated, human-in-the-loop framework that provides an analyst with a role-bounded, need-to-know explanations of resiliency paths in a CPS. The AWARE-RG abstraction structure is derived using Formal Concept Analysis over MITRE ATT&CK for ICS tactics, ordered by the ICS Cyber Kill Chain. For valid attack-fault queries, plan repair and backward means-end analysis identify the missing dependencies, explain why the physical hazard is reachable, and suggest defensive strategies. For invalid attack-fault queries, AWARE-RG localizes the first abstraction level at which the path fails, and reports confirmed blocking conditions as hardening pointers.
0
cs.AIcs.CYcs.LG Shiv Muthupandiyan, Tolga H. Dur, Mac Walker et al. · Oct 14, 2026

ReproBAIT evaluates whether sandboxed coding agents can reconstruct published biological AI tools from limited text descriptions when supplied with training data and a fixed compute budget. The authors task frontier LLMs with replicating three tools—a closed-source molecular-design model, ProteinMPNN, and RFdiffusion3—and score functional parity on held-out data rather than source-code similarity. Near-parity is reached on the two simpler tools for only a few dollars, while the most complex tool defeats all agents within the allotted budget, raising questions about memorisation and whether withholding code is enough to control access.

Large language models are increasingly competent at leveraging scientific knowledge and existing computational tools to execute complex workflows. At present, little information exists on their ability to reconstruct tools when given limited descriptions of such tools. We introduce an evaluation titled ReproBAIT (Reproducing Biological AI Tools), which measures the ability of coding agents to design, implement, and train biological AI tools taken from published research across a range of information access conditions. The coding agent is securely sandboxed without internet access and receives training data, a fixed time and compute budget, and limited information about the tool to replicate. We then score the reproduced biological AI tool based on its performance (tool-specific metrics) on held-out data. We evaluated a set of biological AI tools of varying complexities: ProteinMPNN, an inverse protein folding tool, RFdiffusion3, an all-atom generative diffusion tool, and a closed-source molecular design tool. We institute a methodology to check for memorisation, as the open source tools are likely to be included in models' pretraining corpus. Across a range of leading closed- and open-source coding agents, we find substantial reproduction capability for some selected tools, though limited capability for a highly complex tool. We find moderate evidence consistent with memorisation, varying across coding agents. These results suggest that tool developers need to be increasingly cautious when releasing information about the tools publicly; re-creation of the tool based on such information could undermine a tool's commercial value or invalidate dual-use managed access strategies.
0
cs.AIcs.CL Soyoung Oh, Nursulu Sagimbayeva, Nicholas Jennings et al. · Oct 14, 2026

Theory-of-Mind reasoning requires connecting an agent's perception to their belief and then to their action, yet large language models often fail to compose these inferences even when each part is known. This paper proposes rule-based reinforcement learning: using Group Relative Policy Optimization to train models to emit concise if–then rules that bridge perception, belief, and action before answering. The authors show that this approach outperforms free-form chain-of-thought reasoning and supervised fine-tuning across four ToM benchmarks, while using roughly half the tokens, and that rules from larger models improve downstream GPT-4o-mini accuracy.

In Theory-of-Mind (ToM) reasoning, large language models may correctly infer the agent's mental state but fail to use that inference when predicting or judging the agent's subsequent actions. In this work, we investigate whether explicitly connecting perception, belief, and action with rules improves ToM reasoning. We generate concise \textit{if--then} rules that express relations between perception to action and use Group Relative Policy Optimization (GRPO) to train Qwen2.5 and Llama3 models across four ToM benchmarks. GRPO with rule generation outperforms prompting, supervised fine-tuning, and think reasoning. Moreover, rules generated by larger models ($\geq$3B) provide transferable knowledge that improves downstream performance of GPT-4o-mini. These findings suggest that explicit rules help models bridge the reasoning gap in ToM and support knowledge transfer across models.
0
cs.AIcs.CLcs.LG Maolin Ran, Minda Chen, Di Huang et al. · Oct 14, 2026

Reinforcement learning for language agents suffers from sparse trajectory-level rewards that do not directly supervise environment dynamics. DGS-WM addresses this by introducing Decision-Guided Selective World Modeling: instead of forcing the policy to predict entire environment observations as auxiliary targets, it selects only observation units that support the subsequent policy response and discounts already-mastered targets via confidence-adaptive weighting. This selective co-training yields consistent gains over full-observation counterparts across QA and web-shopping benchmarks.

Reinforcement learning provides a direct mechanism for optimizing task objectives in large language model-driven agents, but task rewards are typically sparse trajectory-level signals that only evaluate task success, without directly supervising action-conditioned environment transitions, leaving the model with limited explicit understanding of action consequences and environment dynamics. Recent work introduces auxiliary supervision through policy and world modeling co-training, yet typically treats complete environmental observations uniformly as world modeling targets, overlooking the varying decision relevance of observation content. We propose DGS-WM (Decision-Guided Selective World Modeling), a decision-guided policy-world modeling co-training approach for language agents. DGS-WM employs a Decision-Guided Observation Selection component that filters observation units with decision value as world modeling targets based on their support for subsequent policy responses, and a Confidence-Adaptive Weighting component that adaptively adjusts supervision strength according to the model's prediction confidence on selected targets. Together, these components form a decision-aware auxiliary world modeling loss, jointly optimized with the RL loss on the same policy model. Across multiple benchmarks covering single-hop/multi-hop question answering and interactive web tasks, DGS-WM achieves consistent improvements under different model scales and RL algorithms, demonstrating more stable and effective performance compared to full-observation world modeling methods.
0
cs.CVcs.AIcs.LG Lorenzo Venturoli, Nedko Savov, Xi Wang et al. · Oct 14, 2026

StateCraft tackles the long-horizon inconsistency problem in video world models by explicitly decoupling a persistent, structured abstract state from the visual rendering pipeline. A finetuned vision-language model maintains and updates a graph-structured abstract state in response to actions, including off-screen changes, while a video diffusion model generates each frame conditioned on that state. This enables consistent revisits, direct state editing, and large empirical gains on a new GUI-world-model benchmark measuring memory and controllability.

Video world models aim to simulate complex environments with realistic appearance and dynamics. Maintaining consistency over long interactions requires tracking past actions and understanding how those actions affect the environment. Video world models can only generate partial observations of the entire world at a time. Remembering past observations alone may not be sufficient in every scenario, as they may no longer reflect the world after a sequence of actions. We introduce a paradigm that decouples a persistent, updatable abstract state from the visual state. The abstract state keeps track of the entities' changes as the world evolves, and is used to condition the visual state, which represents the current view. We propose StateCraft, a novel architecture that pairs a language model with a video diffusion model to evolve the dynamic world. We evaluate our approach on generative interfaces, which pose a substantial challenge because a single action may change parts of the state that are not currently visible. To support training and evaluation, we develop a data collection pipeline that produces informative, densely annotated trajectories at scale without human or agent supervision, together with a benchmark measuring generation quality, memory, and controllability. On this benchmark, our approach improves surpasses the state-of-the-art baselines. We demonstrate that StateCraft maintains high self-consistency and strong generation quality over long trajectories. Because the abstract state is explicit, it can be edited directly, and generation follows edits to states never observed in the data. Finally, a proof-of-concept 3D experiment, in which actions change the illumination of an unobserved room, shows that the paradigm can also be applied to spatial environments. Project page: https://insait-institute.github.io/StateCraft/.
0
cs.AIcs.CLcs.LG Alexander Spangher, Daniel E. Ho, Diyi Yang et al. · Oct 14, 2026

The paper asks how much meaning language models can actually share through language alone. To measure this, the authors introduce two tools — an epsilon-estimation algorithm that finds near-optimal prompts and estimates how much performance is left on the table, and a reconstruction bottleneck that scores how well a receiver model recovers a sender model's concept from labeled examples alone. They then apply observational scaling laws across 1.2k qualitative concepts in eight domains, classifying each as already articulable ('reaches'), potentially articulable with stronger models ('rising'), or permanently tacit ('bounded').

Language captures only a subset of the perceptions, intuitions and intents that form meaning between speakers. What, then, are the limits of language? We take steps towards measuring this in LLMs as follows: for a set of concepts, we measure how well each concept can be transmitted between two LLMs as their capabilities scale. This requires novel measurement tools: (1) optimal messages: we introduce a prompt optimization algorithm that beats existing algorithms by up to 14% on benchmarks and accurately estimates prompt upper bounds. (2) A transmission measure: the sender is asked to label text; the receiver then tries to recover the sender's prompt, and recovery is measured; we find this correlates strongly with human label error. With these measures, we use observational scaling laws to study how transmissibility of a concept, conveyed with optimal messages, increases as transmitter and receiver capacity grows: does it asymptote below or above a threshold? Measuring 1.2k concepts in eight domains, we find concepts that (a) can be fully articulated; these concepts usually depend on local patterns, e.g. "joke ends with surprise"; (b) might be articulated by future, stronger models; these rely on whole-text structural patterns, e.g. "story's worldbuilding coherence"; (c) concepts that face articulability limits; these concepts' meaning, we find, is tied to identity and social-group awareness, e.g. "comic voice". Interesting, these same concepts are not all challenging for humans: humans have moderate-to-high levels of agreement in 76% of concepts that LLMs struggle with; articulation limits, we find, are executor relative. Finally, we characterize the nature of improvement in each case: while recoverable concepts can be articulated through definitions and explanations, irrecoverable concepts cannot be transmitted, even with examples, and might require novel learning mechanisms.
0
cs.MAcs.AI Panagiotis Kasnesis, Lazaros Toumanidis, Christos Chatzigeorgiou et al. · Oct 14, 2026

Decentralised HVAC control in multi-zone buildings is difficult because each zone controller sees only local state while the zones share a single air loop. This paper assigns every zone an independent active-inference agent that learns its own transition model online, infers hidden coupling via a latent disturbance factor, and adjusts its energy weight in response to a live congestion signal drawn from the metered power of other floors, with no inter-agent messages. On five noisy test years the fleet achieves the lowest mean building peak ($88.3~\mathrm{kW}$) and the best coincidence factor ($0.929$) among nine controllers, while running the full fleet on a Raspberry Pi 5 with a p95 control latency of $442~\mathrm{ms}$.

Multi-zone HVAC control is a shared-resource problem: zones on a floor share one fan and cooling coil, so each zone's demand affects its neighbours and the building's peak power. One controller per zone scales well and isolates faults, but each controller then observes only its own zone, not the shared air loop. In this work, we present a decentralised controller that assigns each zone an independent active-inference agent, which plans by minimising expected free energy and learns its zone dynamics online. The agents exchange no messages, so none depends on peers or a coordinator; each accounts for the unobserved coupling through a latent disturbance and a congestion signal derived from the metered power of the other floors. Fifteen agents are evaluated in EnergyPlus on a Sinergym office building against three rule-based controllers and three MADDPG fleets, one given the same floor meters. On five noisy weather years unseen during training, the fleet attains the lowest mean building peak (88.3 kW, 3 to 17 % below the baselines) and staggers the floor peaks better than any baseline, with a coincidence factor (building peak over the sum of the floor peaks) of 0.929 versus 0.936 to 0.994. Compared with a reactive rule at similar comfort (0.912 versus 0.916), it lowers the sum of monthly peaks, on which demand charges are billed, by 33 kW (4 %) in every year, at the cost of about 10 % more energy. It costs 9% less per year than the proactive rule (at lower comfort) and 1% less than the MADDPG fleet given the same floor meters, in every test year. The whole fleet runs on a single low-cost Raspberry Pi 5, closing the observation-to-action loop over MQTT in 442 ms at p95, far below the 15-minute control step.
0
cs.AI Chenhao Yuan, Bohan Yu, Yinhao Xu et al. · Oct 14, 2026

Most rule-reasoning benchmarks present scenarios as a few flat facts, making it easy to spot relevant rules. RuleTrek instead distributes scenario evidence across heterogeneous files and decomposes agentic reasoning into Rule Identification (RI), Rule Deduction (RD), and End-to-End (E2E) evaluation. Experiments on 11 frontier models show that even the best agent achieves only 62.47% RI and 60.43% RD, while E2E caps at 55.29%, suggesting that distributed, multi-file scenarios pose severe challenges for current agents.

Large language models (LLMs) increasingly tackle complex real-world tasks in specialized domains. However, identifying and correctly applying domain-specific rules remains challenging when scenario information is distributed across multiple files. Existing rule-reasoning benchmarks typically represent scenarios using only a few factual statements, simplifying the identification and application of relevant rules. To address this gap, this paper introduces \textbf{RuleTrek}, a multi-domain benchmark for agentic rule reasoning in complex scenarios. Its rule-grounded construction pipeline extracts structured rule graphs, generates and incrementally composes rule-specific sub-scenarios while ensuring consistency and solvability. To systematically evaluate agentic rule reasoning in complex scenarios, RuleTrek assesses three capabilities in interactive workspaces: Rule Identification (RI), Rule Deduction (RD), and End-to-End Rule Reasoning (E2E). Experiments on 11 frontier LLMs show that the highest RI and RD scores are only 62.47\% and 60.43\%, respectively, while E2E scores range from 26.97\% to 55.29\%. These results demonstrate that current LLM agents face substantial challenges in rule reasoning over complex scenarios. We make our code and dataset publicly available at \href{https://github.com/yuan247/RuleTrek}{RuleTrek}.
0
cs.AIcs.LG Carson Eisenach, Robert Joseph George, Vincent Quenneville-Belair et al. · Oct 14, 2026

L3M asks how to run AI agents so that useful computation scales safely across days, machines, and model calls. It answers with a Git-backed, distributed runtime written in Lean 4 where capability tokens confine every tool call, trajectories are durable append-only logs, and agents self-extend by writing sealed programs whose types bound their authority. The goal is a harness where trust narrows rather than widens as agents grow more capable.

The lasting gains in AI have come from methods that absorb more computation, and language models already scale computation within a call. Useful work, though, happens across calls: over hours or days, through tools and external systems, among many agents and the humans they work for, and increasingly through code the agents write themselves. Whether that work compounds is enabled by the harness around it, and the harness faces a constraint the model does not: of the three participants in such a computation, the human, the model and code, only the human's attention does not scale, so the computation can grow only if the human is not in every loop. L3M is a runtime built on that premise, written in Lean 4 so that one language implements the harness, states its invariants, and is the language agents extend it in. One computation spans humans, agents, models and code, and all of its state lives in Git: a rich state trajectory -- rather than a chat conversation -- is an object the runtime can resume, rewind, fork, compare and merge. Waiting, communication, delegation and undo are primitives, not patterns the model reasons through each time. When an agent works out a procedure, it can write it once as a sealed Lean program whose type is its permission request, and the harness offers it back as a tool -- machinery for the model to use. To take the human out of the loop, L3M uses reversibility to decide where that is safe: a tool's review tier follows from how far its effects can be undone, so agents act freely where the runtime can recover. Because the machinery can change, the properties that make this safe are stated as kernel-checked theorems about the code that runs. On Terminal-Bench, an untuned L3M reaches about two thirds of its (unsafe) shell-equipped pass rate using only safe (not needing human review) tools.
0
cs.CVcs.AI Sizhuo Zhou, Xiaosong Jia, Fanrui Zhang et al. · Oct 14, 2026

LiFi targets the task of generating metric LiDAR point clouds from cheap onboard multi-view camera images for autonomous driving. The core idea is a latent diffusion model guided by two decoupled branches: a geometry branch that aligns dense monocular depth estimates to the target LiDAR scanning pattern via a reverse sampling algorithm and uncertainty-modulated encoding, and a semantic branch that aggregates global cross-view context. If the approach holds up, it could enable large-scale data augmentation, cross-modal simulation, and sensor completion without requiring expensive LiDAR capture at deployment time.

Generating LiDAR point clouds from multi-view camera images is a valuable task with applications in controllable data synthesis, cross-modal simulation and various perception tasks. However, most existing methods are not specifically designed for this task, and the quality of their generated LiDAR remains limited. Moreover, these methods typically focus only on semantic cues in images or generate LiDAR from a monocular camera image. In this work, we introduce LiFi (LiDAR From images), a dedicated framework for generating visually and geometrically aligned LiDAR scenes from multi-view camera images. LiFi guides the latent diffusion process through two complementary branches: geometry and semantics. The geometry branch constructs scene features from images through a reverse sampling algorithm and an uncertainty-aware geometric encoder combined with DepthAnything3, whereas the semantic branch provides high-level semantic representations via a cross-view interaction module. We further introduce a dual-branch balanced classifier-free guidance (CFG) strategy, which enhances the model's conditional generation capability while preserving the independent learning and collaborative controllability of the two branches. Extensive experiments demonstrate that LiFi outperforms state-of-the-art methods in generating high-fidelity LiDAR scenes. The code will be publicly available at: https://github.com/szzhou88/LiFi.
0
cs.AI Ai Jian, Haoran Pan, Eryu Guo et al. · Oct 14, 2026

Multi-turn language agents trained with trajectory-level rewards frequently suffer from misguided reinforcement: tokens inside undesirable behaviors can still receive positive advantages. The paper proposes Confidence-Guided Credit Correction (C3), a plug-in operator that selectively reverses positive advantages within detector-localized undesirable spans, scaling the correction by the behavior policy's confidence. Because C3 leaves rewards, returns, and advantage estimators untouched, it is compatible with both critic-based and critic-free optimizers, offering a lightweight and general form of process supervision.

Large language models are increasingly trained as multi-turn agents that interact with external tools. However, outcome-only reinforcement learning can produce a form of misguided reinforcement: even on successful trajectories, undesirable local behaviors may receive positive token-level advantages and be favored by the policy update. To address this issue, we propose Confidence-Guided Credit Correction (C$^3$), a plug-in method for local credit correction. C$^3$ identifies spans corresponding to undesirable behaviors and selectively corrects positive credit after advantage estimation, with the correction strength adaptively controlled by the behavior policy's confidence in the corresponding behavior, while leaving the task reward and original credit estimation unchanged. Across multiple multi-turn benchmarks, C$^3$ improves performance under both {critic-based and critic-free reinforcement learning methods}. Injecting the same behavioral signals as turn-level or outcome rewards does not consistently improve performance. Our results show that local credit correction provides an effective form of process supervision for outcome-driven RL.