Week beginning 14th September 2026

Every computer science paper posted to arXiv this week, with plain-language summaries and practical uses for each one. Includes commercial applications where relevant.

Agentic societies require social harnesses for secure coordination

Agentic Societies Need a Social Harness

Abstract: An agentic society is a collection of AI agents that coordinate autonomously across trust boundaries, on behalf of different principals whose objectives may only partially align. We show experimentally that in agentic societies even honest, competent agents often fail to reach satisfactory outcomes with existing harnesses and messaging primitives, and that faulty or malicious agents can stall collaboration, influence outcomes, and pursue other harmful goals by exploiting vulnerabilities in communication (``speech''). We argue that agentic societies need a \emph{social harness} for inter-agent interactions, in addition to each agent's \emph{personal harness}, which manages its private context and communication with its principal. We propose a layered architecture for social harnesses which (i) prevents classes of failures outright, (ii) enables agents to detect invalid messages at runtime, and (iii) supports post-facto investigation and consequences, and highlight directions for future research to realize these capabilities.

Tue 15 SeptMultiagent SystemsArtificial IntelligenceNetworking and Internet Architecture
The gist
When many AI agents work together for different people or groups, they often struggle to cooperate well and can be tricked by bad actors. The authors show that current communication methods between these agents are vulnerable and can cause problems. They suggest adding a new layer called a social harness to help agents communicate safely, spot bad messages, and handle problems after they happen. This would make interactions among AI agents more reliable and secure.
Open 2609.17527v1

Privacy friendly anti cheat system protects video games without ring 0 access

You Shall Not Pass into Ring-0! A User Privacy-Friendly Anti-Cheat Architecture for Personal Computers

Abstract: Kernel-level anti-cheats are effective against malicious player behavior in competitive video games, but raise significant user privacy concerns regarding installing unverifiable components at privileged modes (i.e., ring-0 in x86). While existing research has focused on improving the effectiveness of anti-cheats, the user privacy concern has been largely ignored. Tirith is an anti-cheat architecture that addresses this problem using two key ideas. First, instead of running video games within regular processes that players (as root admins) have control over, Tirith executes video games in Protected Virtual Machines that naturally sandbox computations from untrusted admins. Second, to monitor user behavior outside the sandbox (e.g., see if they are running malicious drivers), Tirith leverages a virtualization monitor that is trusted by both players and developers. Together, these ideas remove the need to run untrusted kernel-level anti-cheats, while providing the same level of protection compared to such solutions against a wide-range of common cheating mechanisms. The main challenge we face in implementing these ideas, however, is that the existing software stack for virtual machines is not designed to run video games and creates significant security and performance problems. We address these problems by proposing a security-focused Library OS kernel for games and an efficient graphics sharing pipeline for near-native rendering and display performance. In summary, without compromising on cheating behavior detection or performance, this work makes user privacy a first-class citizen in personal computers.

Tue 15 SeptCryptography and Security
The gist
Many cheat detection programs for video games work by running with the highest system permissions, which can invade user privacy. The authors present Tirith, a new approach that runs games in special protected mini computers (virtual machines) to isolate them from the rest of the system and uses a trusted monitor to check for cheating without needing risky system-level software. This design keeps players’ computers safer while still catching most common cheats. To make this work smoothly and perform well for gaming, the authors built a lightweight game-specific operating system and a new way to handle graphics.
Open 2609.17525v1

World-action models predict future movements using multiple visual data types

Modality-Autoregressive World-Action Models

Abstract: World-action models (WAMs) jointly model future observations and actions, typically predicting the future as RGB images. Other visual modalities such as depth, pretrained visual features, and point tracks can more efficiently capture geometric, semantic, and motion features. However, how best to combine these modalities within WAMs remains an open question. We introduce ModAR, the first WAM to autoregressively denoise multiple future modalities before predicting actions. This allows each prediction to condition on previously generated modalities. We train from scratch to systematically study how training-data mixtures, predicted modalities, and WAM formulations affect performance. In our evaluations, WAMs benefit from predicting point tracks, DINO features, and depth maps, while additionally predicting future RGB does not provide a consistent benefit. We also find that ModAR's sequential generation outperforms existing WAM formulations, with the highest average success rate at all evaluated data scales. We also fine-tune the video-model-initialized WAM Flex-$π$ on the same data; ModAR achieves a slightly higher observed average success rate (75% vs. 72%) while using approximately $20\times$ fewer training FLOPs and no pretraining. On three real-world bimanual tasks, ModAR outperforms baselines and improves with human videos.

Tue 15 SeptRobotics
The gist
Predicting what will happen next is hard when only looking at regular color images. The authors show that using different types of visual information, like depth or motion points, helps computers better guess future observations and actions. They created a new model, ModAR, that predicts these different data types in sequence, improving performance without lots of extra training. This model does better at tasks involving two-handed actions and learns even more from watching videos made by people.
Open 2609.17524v1

ScienceBuddy builds smarter scientific assistants that improve themselves

ScienceBuddy: Recursive-in-Recursive Self-Improvement for Interactive Scientific Agents

Abstract: We introduce and release ScienceBuddy, an interactive scientific research workspace that brings continually improving scientific agents into researchers' everyday workflows. ScienceBuddy supports researchers in carrying out scientific tasks while transforming their requests, feedback, and execution evidence into tasks and evaluation rubrics for continual learning. At its core is recursive-in-recursive self-improvement, a paradigm that couples harness evolution with model reinforcement learning: the inner recursion improves the harness with the model fixed, while the outer recursion trains the model under the improved harness. Harness evolution shapes training experience, and model learning creates new opportunities for harness adaptation. We present case studies of researcher interaction, harness refinement, and model learning, with the benchmark cases spanning four scientific task families. By releasing ScienceBuddy as a research product, we make this paradigm available to the scientific community and take a step toward discovery intelligence: scientific AI that advances through sustained collaboration with researchers and evolves alongside the research it supports. Website: http://science-buddy.io

Tue 15 SeptArtificial IntelligenceComputation and Language
The gist
Scientists often need help managing many steps in their research. This paper introduces ScienceBuddy, a tool that works alongside researchers to assist with scientific tasks while learning from feedback and results. It uses a special method called recursive-in-recursive self-improvement, where the tool and its rules get better by taking turns improving each other. This way, ScienceBuddy can continually become more helpful as it works with scientists on different projects.
Open 2609.17523v1

Physics based video generation enables fine control of object motions

PhysStream: Streaming Physics-Grounded Video Generation with Structured Scene Memory and Fine-Grained Motion Control

Abstract: Interactive control for video generation is moving from coarse prompts toward fine-grained, physically meaningful manipulation of dynamic scenes. Yet existing controllable methods either require the full control schedule before generation starts, or use pixel-space signals that dictate object positions rather than physical dynamics. To address these limitations, we propose PhysStream, an autoregressive model for physics-grounded image-to-video synthesis that incorporates structured scene memory---positional maps and object tracking maps derived online from previously generated frames---and supports fine-grained motion control via sparse velocity-increment signals that encode physical quantities, letting the model learn the underlying dynamics. We train our model in two stages: a bidirectional model is first finetuned with motion-control conditioning, then a causal autoregressive model is trained with additional structured scene memory, further improving physical consistency. PhysStream enables interactive, mid-generation control over multi-object tabletop rigid-body scenes---a capability not supported by prior methods---reducing motion distribution distance (FVMD) by 33% and trajectory error by 12% over the strongest baselines on synthetic benchmarks, and is preferred by human evaluators in over 85% of in-the-wild comparisons. Please check our website for more details: https://czzzzh.github.io/PhysStream

Tue 15 SeptComputer Vision and Pattern RecognitionArtificial IntelligenceGraphics
The gist
Videos showing moving objects are often hard to control with great detail, especially when trying to follow real physical rules during movement. PhysStream is a new method that builds videos step-by-step by remembering where objects are and how they move, using signals related to speed and direction to guide the motion more naturally. The creators trained their method in two parts to make videos that follow physical laws better and let users change motion while the video is still being made. This method works especially well for simple tabletop scenes with multiple solid objects, and people who watched preferred its videos over others most of the time.
Open 2609.17521v1

Additivity of barycentric Rényi divergences holds only for minimal case

Regularized barycentric Rényi divergences

Abstract: Barycentric Rényi divergences were introduced in [Mosonyi, Bunth, Vrana, Linear Algebra and its Applications, 2024] as an alternative to standard Kubo-Ando constructions to define multivariate quantum Rényi divergences. They are defined via a variational expression and depend on a finite collection of quantum relative entropies $D^{q_x}$. When all the relative entropies are monotone under CPTP maps then so are the corresponding barycentric Rényi divergences, and when all the relative entropies are additive then the corresponding barycentric Rényi divergences are subadditive under tensor product. Additivity has only been established before for the case where all $D^{q_x}$ are chosen to be the Umegaki relative entropy, which is also the only case where the barycentric Rényi divergence (called the minimal one) admits an explicit expression. Here we settle the problem of additivity by showing that for any choice of additive and monotone quantum relative entropies, the regularized barycentric Rényi divergence coincides with the minimal barycentric Rényi divergence on strictly positive inputs. This in turn implies that the only additive barycentric Rényi divergence is the minimal one.

Tue 15 SeptInformation Theory
The gist
Quantum Rényi divergences help compare quantum states but can be tricky to define when combining multiple states. The paper studies a special way called barycentric Rényi divergences to combine these measures. The authors showed that only one particular version, called the minimal barycentric Rényi divergence, behaves nicely when combining quantum systems. This clarifies which divergence is unique in maintaining a key mathematical property called additivity.
Open 2609.17517v1

Large language models improve accuracy by deciding when to abstain

When Should LLMs Abstain? Chain-of-Self-Questioning for Selective Risk Control

Abstract: Large language models can produce fluent answers when their factual support is weak. This paper introduces Chain-of-Self-Questioning (CoSQ), a prompt-only framework that makes answer commitment conditional on an explicit assessment of the information required to answer a question. We evaluate three CoSQ variants under seventeen conditions on the 817-item TruthfulQA multiple-choice validation set using eleven open-weight and hosted model families. In the final balanced-option protocol, Grounded-CoSQ at τ=0.90 reduces the mean unconditional wrong-commitment rate from 13.1% under chain-of-thought prompting to 8.9%, a 32.1% relative reduction, while increasing answered accuracy from 86.9% to 89.7% and answering 87.6% of questions. Both improvements hold for all eleven models and at every evaluated threshold. Critical-CoSQ and Adaptive-CoSQ provide neighboring operating points with 88.6% and 86.5% coverage, respectively, while remaining more reliable than the baseline. A secondary Natural Questions Short-Answer evaluation provides convergent open-form evidence. These findings show that self-assessment can support explicit, tunable answer-or-abstain decisions when an unsupported commitment is more costly than referral or review.

Tue 15 SeptComputation and LanguageArtificial Intelligence
The gist
Large language models sometimes give confident but wrong answers when they don’t have enough reliable information. The authors introduce a method called Chain-of-Self-Questioning (CoSQ), which helps these models check if they have enough support before answering. This approach lets the model decide to answer or abstain, reducing wrong answers and improving accuracy. The method was tested across many models and question types, showing consistent improvements.
Open 2609.17516v1

Pruning large language models impacts smart home task reliability

What Breaks Under Pruning in Smart Homes, and When? Evaluating LLM Degradation Across Architectures and Task Complexity

Abstract: Pruning can reduce the deployment cost of large language models (LLMs), but its impact on context-grounded tool calling remains poorly understood. We systematically study pruning-induced degradation in smart-home tool calling across four LLMs spanning dense Transformer, dense hybrid, and mixture-of-experts (MoE) architectures, together with depth, width, hybrid, and expert pruning methods. After post-pruning supervised fine-tuning (SFT), we evaluate more than 19,500 instances from three smart-home datasets. Beyond aggregate task accuracy, we characterize degradation along two dimensions: action components (i.e., operation, device, argument, and value) and task complexity. Our results show that dense models have narrow safe pruning regions followed by sharp degradation, while MoE models tolerate substantially more pruning. Pruning degrades grounded specificity before schema-level intent, and aggressive dense pruning can induce systematic over-refusal. These findings highlight the importance of evaluating pruning beyond aggregate accuracy when selecting pruned LLMs for reliable tool execution.

Tue 15 SeptComputation and Language
The gist
Using pruning techniques can make large language models (LLMs) run faster and cheaper, but this paper finds that pruning can cause these models to make more mistakes in smart home tasks. The authors tested different kinds of LLMs and pruning methods on smart home commands to see what breaks and when. They discovered that simpler models quickly lose performance when pruned too much, while complex mixture-of-experts models handle pruning better. However, pruning tends to reduce how specifically the model follows instructions and can cause it to refuse commands unnecessarily.
Open 2609.17515v1

Layer adaptive compression improves audio codec efficiency and quality

LACE: Layer-Wise Compression for Dynamic Frame Rate Codecs

Abstract: Neural audio codecs are a key component in speech language modeling. However, their high frame rates lead to long sequence lengths, increasing computational costs. Dynamic frame rate codecs mitigate this by reducing the effective frame rate using a compression step to merge multiple frames together. However, most prior methods either operate on single-codebook codecs or apply a single compression step before multi-layer quantization. This forces all quantization layers to share the same segmentation boundaries, despite the residual embeddings at different quantization layers exhibiting different rates of change over time. We propose LACE (Layer-Adaptive Codec Encoding), a dynamic frame rate codec that applies an independent compression step at each quantization layer, enabling layer-specific segmentation boundaries. To use LACE tokens in downstream text-to-speech (TTS), we further introduce union alignment and boundary anchor mechanisms to make durations consistent across layers while preserving compression benefits. Experiments on LibriTTS show that LACE offers a better rate-quality tradeoff than prior dynamic frame rate methods on the reconstruction task and improves TTS inference efficiency while maintaining competitive synthesis quality. Our code is released as part of the ESPnet3 codec recipe.

Tue 15 SeptSoundArtificial IntelligenceComputation and Language
The gist
Audio codecs convert speech into digital signals but work with very fast frame rates, which can be slow and costly to process. The authors introduce LACE, which compresses audio differently at each level of processing, matching how much the sound changes over time. This method helps speed up text-to-speech systems without losing the quality of the speech. Tests show LACE is better than older methods at balancing speed and accuracy in recreating speech.
Open 2609.17509v1

Vision and language navigation agents get reliable uncertainty estimates

ENCP: Episode-Normalized Conformal Prediction for Vision-and-Language Navigation

Abstract: Uncertainty estimation for Vision-Language-Navigation (VLN) models is a critical task since it can help identify ambiguous and unreliable predictions, enabling agents to make safer navigation decisions. As one of the most advanced uncertainty estimation frameworks, conformal prediction (CP) offers a promising approach for uncertainty estimation in VLN. However, given that VLN agent requires a sequence of steps, standard calibration in conformal prediction fails to provide coverage guarantee it promises over a dependent, variable-length VLN episode. To this end, we propose Episode-Normalized Conformal Prediction (ENCP), which rescales a nonconformity score by the policy's residual confidence and calibrates one maximum score per episode. Under exchangeable calibration and test episodes, this construction covers the ground truth at every step with probability at least $1 - α$, while allowing dependence among steps within an episode. Across four VLN policies and three nonconformity scores on R2R and REVERIE dataset, ENCP meets all reported empirical step-coverage targets on the seen-to-unseen evaluation. These results demonstrate that ENCP can provide model-agnostic uncertainty estimates, which might be useful for determining when a VLN agent should defer to a more capable predictor, including human assistance.

Tue 15 SeptMachine LearningArtificial IntelligenceRobotics
The gist
Vision-and-language navigation agents help robots follow instructions to move around, but they sometimes make uncertain or wrong guesses about what to do next. The authors developed a new way called Episode-Normalized Conformal Prediction (ENCP) that better measures how confident the agent is at each step in a sequence of actions. Their method guarantees the agent's uncertainty estimates cover the true position with high probability, even though the steps depend on each other. This helps the agent decide when to ask for help or take safer actions.
Open 2609.17499v1

Llm assistants tested for accuracy in social reasoning tasks

Verifiable Social Reasoning for LLM Assistants

Abstract: LLM assistants are widely used for daily social advice, yet evaluating their social reasoning in such consultation settings remains challenging since (i) it requires setups where the assistant learns about social situations from subjective user narratives, and (ii) social properties, such as others' intentions, typically lack verifiable ground truth. To address these challenges, we introduce Fuse, a multi-agent simulation framework for studying user-mediated social reasoning. In Fuse, a target agent with a hidden motive interacts with other agents including one representing the user, who then consults the evaluated assistant to infer the target's motive, providing verifiable ground truth by construction. Simulation faithfulness is validated through a human study with 24k annotations. We apply Fuse to 12 LLMs and demonstrate its analytical utility by systematically isolating key factors, showing that (i) user mediation compounds the inherent difficulty of social reasoning; (ii) LLMs exhibit systematic sensitivity to biased user framing; (iii) models can require more details than humans need to reach a correct prediction; and (iv) longer conversations do not always improve performance despite providing opportunities for clarifying questions. We open-source Fuse and a dataset with 21k examples.

Tue 15 SeptArtificial IntelligenceComputation and Language
The gist
LLM assistants often give advice about social situations, but checking if they truly understand people’s hidden motives is hard. The authors created Fuse, a computer simulation where virtual characters interact, allowing the assistant’s guesses about motives to be checked against real answers. They tested 12 different assistants and found that things like biased stories from users or longer chats don’t always help the assistants guess better. The Fuse tool and its large dataset are now available for others to use.
Open 2609.17496v1

Hardware changes detected using frequency and spatial fingerprinting

FreqSpaNet: Frequency and Spatial Learning of SFPF for Physical Layer Hardware Integrity Detection

Abstract: Unauthorized hardware replacement can preserve a wireless device's logical identity while altering its physical implementation, posing a challenge to hardware integrity verification. Spatio-frequency polarization fingerprints (SFPFs) capture device-dependent responses across multiple frequencies and directions, but their frequency and spatial dimensions exhibit different structural dependencies. We propose FreqSpaNet, an SFPF representation learning network for open set hardware anomaly detection. A frequency branch captures local variations among neighboring frequencies, while a geometry-aware spatial branch models directional relationships using angular information. The two representations are combined through adaptive fusion, and complementary pretraining further captures shared information while preserving the distinct characteristics of the frequency and spatial representations. Experiments show that FreqSpaNet achieves a mean AUROC of 96.31\%, 9.05 points above the baseline. Results under seven hardware replacement scenarios further verify the effectiveness of FreqSpaNet.

Tue 15 SeptMachine Learning
The gist
Unauthorized changes to wireless devices can keep them looking the same but alter their physical parts, which is hard to detect. The authors present a new method that looks at device signals in terms of frequency and direction to spot these changes. Their approach uses separate ways to understand frequency details and spatial directions, then combines them to improve detection. Tests show their method works better than previous ones at finding replaced hardware parts.
Open 2609.17491v1

LimiX-2 improves understanding of structured data with causal insights

LimiX-2: A Contextual Mechanism Network Towards General Structured-Data Intelligence

Abstract: We introduce LimiX-2, a new model in the LimiX family, developed through model and data scaling guided by our previously established scaling laws. LimiX-2 adopts the Contextual Mechanism Networks (CMNs) paradigm and is pretrained with Context-Conditional Masked Modeling (CCMM). CMNs shifts the organizing principle of in-context learning from target-centric prediction to mechanism-oriented joint modeling. Rather than centering the network on the $p(y \mid x, D_{\mathrm{context}})$ objective of conventional tabular PFNs, it is designed around learning $p(x, y \mid D_{\mathrm{context}})$, a context-dependent representation of the joint structure underlying data generation. Pretraining uses synthetic datasets generated by structural causal models (SCMs) spanning diverse graph structures, functional mechanisms, and observation processes. Evaluations on TabArena, TALENT, and BCCO show that LimiX-2 outperforms current dataset-specific models and tabular foundation models. Beyond predictive performance, the CMN paradigm also promotes causal awareness in LimiX-2: its feature attention encodes direct causal relationships, enabling accurate causal skeleton recovery.

Tue 15 SeptArtificial Intelligence
The gist
Understanding structured data like tables is hard because the relationships inside the data can be complicated. The authors present LimiX-2, a system that not only predicts outcomes but also learns the underlying patterns and causes in the data. It does this by looking at the data as a whole, not just trying to guess one part from others. Trained on many types of simulated data, LimiX-2 can better handle new data and even figure out cause-and-effect links between features.
Open 2609.17488v1

Linear sketches enable near optimal exact recovery of sparse integer vectors

Stuffed IBLTs: Optimal Linear Multiset Sketches

Abstract: A \emph{linear sketch} is a randomized linear mapping of a vector $v$ to a lower dimensional sketch vector, designed to preserve relevant information about $v$. We consider sketches of vectors $v \in Z^u$ (for $u \in N$), designed for exact recovery of $v$ from its sketch. Concretely, our \emph{Stuffed IBLT} is a linear sketch configured with a capacity $n \in N$ and a multiplicity limit $L \in N$ and will recover $v$ with high probability whenever $||v||_0 \leq n$ and $||v||_\infty \leq L$. The sketch can be maintained efficiently under unrestricted updates to $v$, i.e., $v$ is not subject to any constraints in between decoding requests. This makes the sketch useful for streaming algorithms and for solving the (multi)set reconciliation problem. For any positive constants $c$, $ε$, and for large enough $n$ and $u \geq n^{1+Ω(1)}$, the space usage of a Stuffed IBLT is within a factor $1+ε$ from the information-theoretic optimum while allowing updates in constant time, and decoding in time $O(n)$ with failure probability $n^{-c}$. This improves the space/time/error probability trade-off over all prior constructions with similar functionality, including the Invertible Bloom Lookup Table (IBLT). The performance of the Stuffed IBLT is essentially the best we could hope for, up to the dependence on $c$ and $ε$. We make the dependence on these parameters explicit, and further show a lower bound demonstrating that the dependence on $c$ is optimal within the class of peeling-based approaches. Our improvement comes from a careful combination of Walzer's spatial coupling technique (SODA '21), the purity heuristic of Houen, Pagh, and Walzer (SOSA '23), and backyarding (Belazzougui, Kucherov, and Walzer, ESA '24; Fleischhacker, Green Larsen, Obremski, and Simkin, ICALP '24), allowing us to eliminate bottlenecks of past approaches.

Tue 15 SeptData Structures and Algorithms
The gist
Sometimes you want to keep track of a large list of numbers, but only have space to store a smaller summary. The authors created a new method called Stuffed IBLT that can compactly store and accurately recover lists with only a few nonzero numbers, even when those numbers repeat up to a certain limit. This method improves on older techniques by being more space efficient while allowing quick updates and fast recovery. It is especially useful for streaming data or comparing collections when elements and their counts vary.
Open 2609.17487v1

Title wording affects how people see patterns in line charts

Quick-View Takeaways: How Does Title Framing Influences Pattern Identification in Line Charts?

Abstract: Visual data communication in digital media is increasingly characterized by short attention spans and snapshot-based viewing, often employing line charts to convey trends and patterns. Among all visual elements, titles are crucial ones that can shape how viewers interpret visual information and form chart takeaways. In this study, we examine how title characteristics, particularly title word count and intended message, influence people's pattern identification in single-class line charts. Participants viewed 50 line charts collected from online news media and identified the pattern they perceived. Our results demonstrate that both title word count and intended message significantly influence viewers' pattern identification. Our findings highlight the importance of title design in shaping chart takeaways and effective visualization communication.

Tue 15 SeptHuman-Computer Interaction
The gist
People often look at line charts quickly, and the titles can change what patterns they notice in the data. The authors studied how the number of words and the message in chart titles changed what viewers thought the pattern was. They found both factors really do shape how people identify trends in the charts. This means the way titles are written is important for clear data stories.
Open 2609.17485v1

Motion-prior training improves robot insertion success with few demonstrations

Dissecting Motion-Prior Regularization for Data-Scarce Robotic Insertion

Abstract: This study asks whether training-time motion-prior regularization can improve insertion success when a diffusion policy is learned from only 15 demonstrations. Minimum jerk discourages abrupt changes in predicted translational acceleration; speed-curvature regularization instead couples movement speed to path geometry. These are candidate mechanisms for task completion, not safety guarantees. We compare the priors individually and jointly, neither prior, and generic smoothness, with 80 real-robot trials per setting pooled over four recorded condition classes. Joint and minimum-jerk-only settings each achieved 70/80 successes (87.5%), versus 69/80 (86.3%) for speed-curvature only, 66/80 (82.5%) for neither prior, and 67/80 (83.8%) for generic smoothness. Success rates and Wilson 95% confidence intervals are visualized for direct comparison. Joint regularization exceeded neither by 5.0 percentage points but provided no observed gain over minimum jerk alone. The results motivate minimum jerk as the simpler candidate for replication, without establishing synergy, biomechanical specificity, improved safety, or distribution-shift robustness.

Tue 15 SeptRobotics
The gist
The study looks at how teaching robots to move smoothly helps them do a tricky task called insertion with very few examples. The researchers tested two ways to encourage smooth motion during training: one that avoids sudden changes in speed and another that links speed to how sharply the robot moves. They found that encouraging smooth speed changes worked best and adding the second method didn't improve things much. This means teaching robots simple smooth movements can help them learn difficult tasks better, even with little practice data.
Open 2609.17484v1

Improving asynchronous machine learning optimization across varied data is hard

Bridging the Gap Between Homogeneous and Heterogeneous Asynchronous Optimization Is Surprisingly Difficult

Abstract: Modern large-scale machine learning tasks often require multiple workers, devices, CPUs, or GPUs to compute stochastic gradients in parallel and asynchronously to train model weights. Theoretical results typically distinguish between two settings: (i) the homogeneous setting, where all workers have access to the same data distribution, and (ii) the heterogeneous setting, where each worker operates on different data distributions. Known optimal time complexities in these settings reveal a significant gap, with far more pessimistic guarantees in the heterogeneous case. In this work, we investigate whether these pessimistic optimal time complexities can be overcome under different assumptions. Surprisingly, we show that improvement is provably impossible under widely used first- and second-order similarity assumptions for any randomized algorithm. We then turn to the interpolation regime and demonstrate that the weak interpolation assumption alone is also insufficient. Finally, we introduce a minimal combination of irreducible assumptions, strong interpolation and the local Polyak-Lojasiewicz condition, to derive a new time complexity bound that matches the dependence on worker computation times in the best-known result in the homogeneous setting, without requiring identical data distributions.

Tue 15 SeptMachine Learning
The gist
Training machine learning models often involves many workers processing data at the same time but with different data. Theory shows it's much harder to get good training speed when workers have different data than when they share the same data. The authors found that under common assumptions, you cannot do better than existing worst-case guarantees for this harder case. They also discovered that only by combining very strong conditions can one achieve training speeds close to the simpler shared data situations.
Open 2609.17483v1

Det-lime improves explanations for multiple marine animal detections in images

Det-LIME: Detector-Aware, Multi-Instance Local Interpretable Model-Agnostic Explanations for Automated Marine Mammal Detection

Abstract: Despite the rapid uptake of black-box object detectors in marine mammal research and monitoring, explainability techniques are rarely integrated into conservation workflows. Furthermore, most classification-oriented explainability tools are ill-suited to detection tasks involving imagery of social organisms or those with colonial life histories, as they ignore multiple detections within a scene and produce single-instance outputs that blur evidence across individuals. These methods also generate low-resolution, often biologically irrelevant visuals, limiting their utility for debugging, targeted data augmentation, and refined data collection. We proposed Det-LIME, a detector-aware, multi-instance adaptation of Local Interpretable Model-Agnostic Explanations (LIME) that produced instance-specific, box-aligned explanations by combining per-detection weighting, a proximity kernel that emphasizes regions near each box, and Intersection-over-Union-based matching to track the same instance across perturbations. We evaluated Det-LIME on aerial drone imagery for harbor seal detection, with an additional seabird case study to assess generality, and compared it with vanilla LIME, Stabilized LIME, Deterministic LIME, and gradient-based attribution methods. Using the Attribution Ratio and Max Saliency Hit Rate metrics, we showed that Det-LIME consistently improved multi-instance attribution. In practice, these higher-resolution, instance-aware explanations provide insight into model outputs and support post-processing, debugging, and actionable improvements in modeling and data collection or augmentation.

Tue 15 SeptComputer Vision and Pattern RecognitionArtificial Intelligence
The gist
Detecting animals like seals in drone photos is hard, especially when there are many together. Traditional explanation tools that show why a computer thinks an animal is present often focus on just one example and give blurry results. The authors created Det-LIME, a new method that explains each detected animal separately and with clearer visuals. They showed it works better than older methods, helping scientists understand and improve how the computer detects marine mammals.
Open 2609.17479v1

Bias changes memory capacity scaling in dense associative networks

Bias-Induced Crossover in Absolute Capacity of Dense Associative Memory

Abstract: The absolute capacity of dense associative memory has mainly been analyzed for unbiased patterns. Here we examine the effect of bias in centered binary patterns under the Krotov-Hopfield single-site criterion $P_{\mathrm{error}}=1/N$, where $P_{\mathrm{error}}$ is the probability that a single-site flip lowers the energy of a stored pattern and $N$ is the number of neurons. Each pattern component takes $1-q$ with probability $q$ and $-q$ otherwise, where $0<q\le1/2$. For polynomial interactions of order $n$, a signal-to-noise analysis gives an absolute capacity of order $N^{n-1}/\ln N$ at $q=1/2$. For fixed $q<1/2$, however, the capacity is $O(N^{n/2})$ for even $n\ge4$ and $O(N^{(n+1)/2})$ for odd $n\ge5$. For $n=3$, both the unbiased and fixed-bias capacities remain $O(N^2/\ln N)$. For $n\ge4$, these different asymptotic forms imply a nonuniform large-$N$ limit near $q=1/2$. Asymptotic matching predicts a bias-induced crossover in the region $1-2q=O(\ln N/N^{\lfloor n/2\rfloor-1})$. The crossover originates from a bias-dependent crosstalk mean that reduces the stability of sites carrying the more frequent value $-q$. Computer simulations are compared with the finite-size conditioned-Gaussian predictions. An activity-dependent control potential that cancels the conditional crosstalk mean restores the $N^{n-1}/\ln N$ capacity for fixed $0<q<1/2$ within the conditioned-Gaussian approximation.

Tue 15 SeptMachine Learning
The gist
Memory systems in the brain and computers can store patterns, and their ability to hold many patterns is called capacity. This paper studies how having biased data, where some bits are more common than others, affects this capacity in a particular type of memory model. The authors found that bias changes how capacity grows as the system size increases, causing a crossover between two growth types depending on the bias level. They also show how to adjust the model to keep high capacity even with biased patterns.
Open 2609.17477v1

Justfit runs large language models on 24 giB laptops efficiently

JustFit: 200K-Token LLM Serving on a 24 GiB Laptop with Just-in-Time State Management

Abstract: Capable open-weight models make local coding and reasoning attractive, but their context and execution state strain laptop memory. We present JustFit, an MLX-based inference runtime that combines KVExec for compressed KV execution, PhaseSwap for component residency, and StateTrans for state-preserving serving transitions. These mechanisms fuse reconstruction and coordinate just-in-time materialization and release, independently of model-weight quantization. In full-execution capacity tests on a 24 GiB M4 Pro MacBook running Qwen3.8-27B MXFP4, three independent runs complete 196,608 input and 16,384 output tokens, increasing completed single-request context from the mlx-vlm baseline's 30,720 positions to 212,992 (6.93x); a separate two-request run retains 229,376 positions in aggregate. In separate performance tests, a 32K-input, 64-output probe reaches 19.11 tokens/s, and a repeated 32K+6K workload has a median peak process footprint of 16,374 MiB. The integrated runtime answers 29 of 30 AIME 2026 problems correctly, showing how compact state and lifetime-aware execution expand local serving capacity while supporting extended generated reasoning.

Tue 15 SeptArtificial IntelligencePerformance
The gist
Handling large language models on laptops is hard because they use a lot of memory to keep track of the context and state. The authors introduce JustFit, a system that carefully manages the parts of the model and its memory use while running. This allows a 24 GiB laptop to handle nearly 7 times more input text than previous setups, while still solving complex reasoning problems. JustFit achieves this by loading and unloading model data just in time, without depending on specific model compression techniques.
Open 2609.17475v1

Large language model distillation reduces teacher bias without target feedback

Coupled Calibration and Learning: Mitigating Teacher Bias in LLM Distillation without Target-Domain Reward Feedback

Abstract: Large language model (LLM) distillation aims to transfer the capabilities of a powerful teacher to a smaller student. Direct imitation, however, can also transfer the teacher's systematic bias and errors. This challenge is particularly pronounced under covariate shift, when the teacher's reliability on target questions is uncertain and target-domain reward feedback is unavailable. We propose Coupled Calibration and Learning (CCL), an LLM distillation algorithm that couples teacher calibration with student updates through token-level branching, using reward feedback only on source questions. Each iteration calibrates the teacher using source feedback and then uses the calibrated teacher to train the student on target questions. The updated student, in turn, informs subsequent calibration. In an autoregressive policy framework, we prove that the output student's expected average Kullback-Leibler divergence to the oracle student converges to zero at a polynomial rate in the number of iterations. The oracle maximizes the true reference-regularized target reward within the student class, which need not represent the unrestricted optimal policy. Our analysis quantifies the progress of projected student gradient updates while controlling the error in teacher calibration. We further establish a separation from regularized direct matching: its error relative to the oracle student can remain bounded away from zero even when the teacher achieves higher regularized target reward than every student policy. These results demonstrate that LLM distillation can overcome persistent teacher bias and recover the optimal student through coupled calibration and learning, without target-domain reward feedback.

Tue 15 SeptMachine LearningArtificial Intelligence
The gist
When a big language model (teacher) helps train a smaller one (student), copying the teacher can pass along its mistakes and biases. This problem gets harder when the smaller model faces new types of questions without feedback on how well it’s doing. The authors propose a method where the teacher’s advice is adjusted using feedback from familiar questions, then used to guide the student on new questions. Over time, the student and teacher improve together, reducing bias even without specific feedback from the new question types.
Open 2609.17474v1

Multi-agent task splits keep one main finding but lower yield with depth

Decomposition Buys Integrity, Not Yield

Abstract: Multi-agent systems split a task across a tree of agents and justify the split with folklore: smaller contexts, cleaner separation, parallelism. We ask what the split does to how much of what the leaves discover reaches the root. Model a decomposition as a tree in which an agent handed $b$ items keeps any one with probability $r(b)$. If $r(b)=1/b$, every tree delivers exactly one finding, for every task size and every shape; we verify this to $2.4 \times 10^{-15}$ on 20,000 random irregular trees. If $r(b)=Cb^{-δ}$, a depth-$k$ tree over $N$ findings yields $C^k N^{1-δ}$: task size and architecture separate, and architecture contributes only $C \le 1$ per level, so flat is optimal for yield and no arrangement of agents escapes the exponent $δ$. On 600 production deep-research traces $δ= 0.34$ [0.30, 0.38], by three identifications that do not share a failure mode. At a hop where item boundaries come from the tool rather than a text heuristic, and where $b=1$ occurs 550 times, $C = 0.571$ [0.527, 0.615] is observed rather than extrapolated, over 16,082 hops. A tier also costs alignment: on 1,012 annotated multi-agent traces one brief in sixteen goes off-target, giving $μ= 0.939$ and a per-tier penalty $Cμ= 0.536$. Depth is bought on two other axes. The root context is the only state that persists and the only one that cannot cheaply forget, and depth cuts its exposure from $N$ items to $N^{1/k}$. Depth is also cheaper: production flat agents bill as $N^{1.39}$, not the $N^2$ an append-only context predicts, and at equal spend two tiers overtake flat at 403 findings. Across every parameter we measured the model says 0.7% to 11.3% of production sessions are worth delegating, against 7.8% that do. A hazard model on 743,819 production tool calls finds that delegation does not respond to a filling context and is instead an opening move.

Tue 15 SeptMultiagent SystemsArtificial IntelligenceDistributed, Parallel, and Cluster Computing
The gist
When many agents each handle part of a big task, less of what the smaller parts discover actually gets passed back to the main agent than people expect. The authors studied how splitting tasks into layers affects how much information reaches the top. They found that deeper trees tend to keep just one key discovery and lose yield with each level. However, deeper setups save on costs and reduce the main agent’s workload. In real work traces, only a small fraction of tasks benefit from splitting across agents.
Open 2609.17464v1

Robot swarms model spatial fields without external positioning systems

Gaussian Processes for Modelling Spatial Fields with Robot Swarms

Abstract: Robot swarms, by virtue of their decentralised architecture, are a natural tool for scalable, robust modelling of spatial fields, such as water temperature, wind velocity, or terrain elevation. However, existing methods rely on external positioning systems that allow each robot to determine its own position in space. Here, we introduce location-unaware Gaussian process regression (LU-GPR) as a solution to the modelling of spatial fields in the absence of such positioning systems. LU-GPR allows each robot to infer the posterior mean and variance of the field in space, while simultaneously agreeing on a common frame of reference with its peers, using only local sensing and communication. We propose an online algorithm that allows each robot to consistently infer local estimates as its local frame of reference converges to the common one. By means of a product of experts model, each robot also combines the estimates of its peers with its own to obtain a global model. Our results show that LU-GPR scales well with the number of robots and is robust to limited communication ranges. We also demonstrate how it can be used in real-world monitoring scenarios to estimate the flow of an evacuating crowd.

Tue 15 SeptRobotics
The gist
Measuring things like water temperature or wind speed across a large area usually needs robots that know their exact location, often told by GPS. The authors created a method that lets groups of robots work together to map these measurements without needing to know their own positions. Each robot shares information locally and over time they agree on a common reference frame to build an accurate map. This approach works well even when robots can only communicate with nearby neighbors and can be applied to real-world tasks like monitoring crowd movement.
Open 2609.17463v1

Structured text improves table reading and question answering tasks

Tables Decoded: DELTA for Structure, TARQA for Understanding

Abstract: Table understanding is a core task in document intelligence, encompassing two key subtasks: table reconstruction and table visual question answering (TabVQA). While recent approaches predominantly rely on vision- language models (VLMs) operating on table images, we propose a more scalable and effective alternative based on structured textual representations. These representations are easier to process, align more naturally with LLMs, and eliminate the need for language-specific visual encoders, making them particularly suitable for multilingual documents. We present DELTA, which separates physical structure recognition, logical structure recognition, and OCR to extract both layout and content accurately. DELTA outputs tables in Optimised Table Structure Language (OTSL), a compact and unified format that encodes cell arrangements and textual content. On table structure recognition (TSR), DELTA achieves TEDS- Structure scores comparable with state-of-the-art methods across FinTabNet, PubTabNet, and PubTables-1M. We further establish its robustness on non-English tables through our curated Hindi benchmark, TORQUE. Building on this, we introduce TARQA, an LLM fine-tuned on OTSL sequences. Our approach yields gains of 9.3 p.p. on WTQ (TabQA) and 9.2 p.p. on FinTabNetQA (TabVQA), respectively. On TORQUE, our method ranks second among all VLMs and DELTA + LLM variants. We release our code, models, and benchmark at: https://github.com/Tihiitborg/Tables-Decoded

Tue 15 SeptComputer Vision and Pattern RecognitionMachine Learning
The gist
Understanding tables in documents is important but tricky, especially when tables are in images and different languages. The authors developed DELTA, a way to turn tables into a clear written format that captures both layout and content accurately. They also created TARQA, a tool that uses large language models to answer questions about these tables using that format. Their new approach works well across several datasets and languages, including Hindi, and performs better than many previous methods.
Open 2609.17458v1

Title length and message shape pattern spotting in line charts

How Does Title Framing Influence Pattern Identification in Line Charts?

Abstract: Visual data communication in digital media is increasingly characterized by short attention spans and snapshot-based viewing, often employing line charts to convey trends and patterns. Among all visual elements, titles are crucial elements that can shape how viewers interpret visual information and form chart takeaways. In this study, we examine how title characteristics, particularly title word count and intended message, influence people's pattern identification in single-class line charts. Participants viewed 50 line charts collected from online news media and identified the pattern they perceived. Our results demonstrate that both title word count and intended message significantly influence viewers' pattern identification. Our findings highlight the importance of title framing in shaping quick-view pattern takeaways and supporting effective visualization communication.

Tue 15 SeptHuman-Computer Interaction
The gist
People often look at line charts quickly and use the chart's title to understand patterns. The authors studied how the number of words in a title and what the title tries to say affect what patterns viewers see in a chart. They found that both the length of the title and its message change how people identify patterns. This means titles are very important for helping people quickly understand data visualizations.
Open 2609.17455v1

Orca improves 3D scene views by fixing missing image parts

ORCA: Occlusion-Aware Refinement and Completion for Novel View Synthesis

Abstract: Novel-view synthesis from a single image is a fundamentally ambiguous problem. As the camera moves away from the input viewpoint, previously hidden regions become visible, exposing missing geometry and holes in the reconstructed scene. Existing methods often rely on generative models to complete such regions. However, many of these artifacts are small gaps near depth boundaries and do not require generating new scene content. In order to eliminate expensive process of generating image we introduce ORCA, an occlusion-aware method for reconstructing and completing explorable 3D scenes from a single image. ORCA first introduces 3D structure into a Gaussian-anchor representation using monocular depth while preserving the original camera-ray correspondence. During scene exploration, missing regions are handled based on their size and structure. Small disocclusions are repaired using RGB-D information already available in the reconstruction, while generative inpainting is reserved for larger regions that cannot be reliably recovered from the scene. New Gaussian anchors are added and optimized locally without modifying the existing representation. By reducing unnecessary reliance on generative inpainting, ORCA limits generation-induced hallucinations and better preserves the content and structure of the original scene. On DIV2K, ORCA improves novel-view quality over VistaDream across all reported metrics, increasing MUSIQ from 61.60 to 68.71 and CLIP-IQA from 0.474 to 0.574. These results show that many novel-view artifacts can be repaired effectively by reusing information already present in the reconstructed scene.

Tue 15 SeptComputer Vision and Pattern Recognition
The gist
Making 3D views from just one picture is tricky because when you move around, you see parts hidden before that aren’t in the original photo. The authors showed that many small gaps in these views can be fixed by reusing information already in the 3D scene, rather than guessing new details. Their method, called ORCA, decides if missing parts are small or large, fixing small holes with existing data and only inventing new content for big gaps. This reduces errors and keeps the scenes looking like the real photo.
Open 2609.17450v1

Graphlets reveal detailed structural patterns in complex networks

Graphlets as structural fingerprints of complex networks

Abstract: Complex networks are often compared using selected graph-theoretical measures that capture a selected set of properties with effects ranging from local to global, such as degree, clustering or betweenness centrality. Here we introduce a structural fingerprinting framework based on graphlets: small rooted subgraphs whose distributions provide a systematic description of local-to-mesoscale topology. Across synthetic networks generated from several random graph models, graphlet fingerprints capture parameter-dependent structural differences, outperform standard graph-theoretical measures, and identify even subtle local patterns driving discrimination. We then apply the framework to empirical resting-state functional connectomes, documenting that while graphlets show superior sensitivity also to controlled topological perturbations of brain connectivity, specifically in schizophrenia-control classification they perform only comparably to classical graph-theoretical features. This is in line with the notion that schizophrenia-related alterations are dominated by spatially localized connectivity changes rather than general topological reorganization. Altogether, the generative modeling, targeted perturbations and real-world neuroimaging classification challenge position graphlets as flexible structural fingerprints of complex networks, while carefully outlining their strength and weaknesses compared to more classical graph theoretical features.

Tue 15 SeptSocial and Information Networks
The gist
Comparing complex networks often relies on simple measures that capture broad properties. The authors introduce graphlets, small network patterns, as fingerprints to describe network structure from local up to medium scales. These graphlets distinguish synthetic networks with subtle differences better than traditional metrics. When applied to brain connectivity data, graphlets detected small changes well but did not outperform classical measures in distinguishing schizophrenia. This shows graphlets are a flexible tool for capturing network topology, with strengths in some areas and limitations in others.
Open 2609.17445v1

EEG signals guide faster vision language answers on cluttered images

BrainFocus: EEG-Guided ROI Selection for Efficient Vision-Language Models

Abstract: Vision-language models (VLMs) achieve strong visual question answering (VQA) performance, but processing large cluttered images is computationally expensive when only a small region is relevant. Electroencephalography (EEG) signals, which capture human neural responses to visual stimuli, can provide a human-derived semantic cue about the region of interest (ROI). However, EEG-guided visual category decoding remains imperfect, making direct ROI routing unreliable. In this work, we propose BrainFocus, a reliable EEG-guided efficient VLM framework for VQA. An EEG classifier predicts a target category, and a YOLO detector localizes the matching ROI. The VLM receives the cropped ROI only when both predictions pass confidence thresholds; otherwise, it processes the full image. For evaluation, we build on EEG-ImageNet to construct a 40-class benchmark comprising generated cluttered images and real object-centric images, with target-ROI annotations and 600 English visual question-answer pairs. Across Qwen3.5-VL 2B, 4B, and 9B models, BrainFocus improves VQA accuracy by 4.14-9.87 percentage points (pp) on cluttered scenes while reducing input tokens and total tokens by 23.2%-39.4% and 23.2%-39.3%, and end-to-end floating-point operations (FLOPs) by 23.2%-39.5%. These results demonstrate that EEG can guide efficient VLM inference even when its semantic decoding is imperfect.

Tue 15 SeptComputer Vision and Pattern Recognition
The gist
Answering questions about big, messy pictures is slow because computers look at the whole image even if only part of it matters. The authors found a way to use brain signals recorded when a person sees an image to guess what part is important. Their method only sends that important part to the vision-language model when confident, saving time but still giving good answers. They show this works well in tests with many images and questions.
Open 2609.17443v1

Bayesian optimization speeds up industrial process design with fewer simulations

Reduced-Space Multi-Fidelity Bayesian Optimization of Process Simulation Models

Abstract: Optimizing industrial process flowsheets is often computationally prohibitive due to the high cost of rigorous simulations and the curse of dimensionality inherent in complex design spaces. To address these challenges, we present a reduced-space multi-fidelity Bayesian optimization (RS-MFBO) framework designed for high-dimensional, expensive black-box functions. The approach integrates Global Sensitivity Analysis (GSA) for dimensionality reduction with a fidelity-augmented Gaussian process that captures correlations between low-cost approximations and expensive high-fidelity evaluations. A cost-aware acquisition strategy, augmented with cooldown and promotion mechanisms, adaptively guides the allocation of samples across fidelities. The framework is validated on two distinct industrial process simulators: a plasmid DNA bioprocess in SuperPro Designer and a green fuel synthesis plant in Aspen HYSYS. Results across diverse economic and physical objectives demonstrate that the proposed method substantially reduces the number of high-fidelity simulator evaluations while maintaining competitive optimization performance compared to single-fidelity baselines. These results highlight RS-MFBO as a scalable, simulator-agnostic approach for cost-constrained black-box optimization.

Tue 15 SeptMachine Learning
The gist
Improving complex industrial processes often requires running many slow and expensive simulations, which can take a lot of time and computing power. To tackle this, the authors created a new method that learns which parts of the process matter most and uses cheaper, simpler models to guide the search for the best design. This approach balances detailed and approximate simulations to find efficient solutions faster. They tested it on two real-world industrial examples and showed it reduces the need for costly simulations while still finding good designs.
Open 2609.17440v1

Quantum ai agents vary widely in reliable experiment control

Evaluating Verified Autonomy in Quantum Engineering

Abstract: Reliable quantum engineering is essential for turning quantum phenomena into practical technologies. As quantum platforms grow in scale and complexity, their characterization and operation require increasing human effort and coordination. Scientific artificial intelligence agents, which can plan experiments, operate instruments, and analyze observations, offer a promising route towards autonomous quantum engineering. Yet whether current agents can perform reliably in this setting has not been systematically established. To fill this gap, we developed Quantum-Harbor, a virtual laboratory that provides a controlled execution environment for agents to interact with quantum systems. This design enables direct verification of both the actions taken and the conclusions drawn. Building on this framework, we introduce QIQCBench, a benchmark of $49$ expert-authored tasks spanning multiple layers including calibration and control, error correction and compilation, sensing and networking. Across $17$ frontier agentic systems, QIQCBench reveals wide variation in verified performance. These results expose a substantial gap between demonstrating capability and achieving reliable operation, and establish Quantum-Harbor as a foundation for measuring progress towards verified autonomy in quantum engineering.

Tue 15 SeptArtificial Intelligence
The gist
Controlling and testing quantum devices is complex and usually needs a lot of human work. The authors built a virtual lab called Quantum-Harbor where AI agents can try to run quantum experiments safely. They also created a set of 49 tasks called QIQCBench to see how well these agents perform across different challenges. They found that current AI systems show very different levels of reliability, highlighting that being able to do tasks doesn't mean doing them consistently right. This work helps measure how close AI is to reliably running quantum experiments on its own.
Open 2609.17439v1

French language model reveals tokenizer impact on grammar tests

Right Tool, Right Job: Native-Language Evaluation, Tokenizer Sensitivity, and Methodological Findings from a French-Only BabyLM

Abstract: We submit MéTRON-FR, a 125M GPT-2 pretrained on 92.47M words of French, to the BabyLM 2026 Strict track. It scores 85.97 +/- 0.17% on QFrBLiMP (a native Quebec-French benchmark of grammatical minimal pairs) and 62.80% on the BabyLM-weighted leaderboard. A cross-lingual GLUE (General Language Understanding Evaluation) protocol that combines French task-data translation with rank-16 LoRA (Low-Rank Adaptation) produces a sharp task-type gradient: relational tasks gain measurably, while world-knowledge tasks regress. Bilingual Lexicon Induction aligns the French embeddings to GPT-2 at p@1 = 68.84 +/- 8.61%, 18X above chance, suggesting cross-lingual alignment tracks acquired grammatical competence rather than training duration. An ablation study shows that single-token zero-shot scoring is dominated by tokenizer and template artifacts at the child scale, motivating tokenizer-swap sensitivity, placebo-controlled prompting, and native-language minimal-pair benchmarks as standard diagnostics.

Tue 15 SeptComputation and Language
The gist
Training a French-only language model, the authors found it performs well on native French grammar tests and some language tasks. They noticed some tasks improve while others get worse when combining French data with adaptations from English models. The study highlights that how words are split into pieces (tokenizer) can strongly affect scoring in tests, especially for small-scale models. They suggest better evaluation methods for such language models using native language tests and careful testing procedures.
Open 2609.17435v1

CareMirror supports dementia caregiver wellbeing with connected tools

CareMirror: Bringing Caregiver Wellbeing into the Dementia Care Ecosystem

Abstract: Family caregivers of people living with dementia shoulder emotional and practical responsibilities, yet their own wellbeing often remains peripheral to dementia care. We built CareMirror, an envisioned caregiver wellbeing ecosystem with interconnected caregiver- and clinician-facing interfaces for longitudinal reflection, personalized support, and caregiver-controlled sharing with clinical care. We conducted semi-structured interviews with 14 caregivers, using CareMirror as a design probe to examine how they perceived this ecosystem and what expectations, concerns, and boundaries emerged around clinical connection. Caregivers valued attention to their wellbeing, longitudinal awareness, context-sensitive support, and clinical visibility when it could lead to meaningful follow-up. However, repeated reflection could become burdensome or emotionally difficult, automatic clinical sharing could inhibit candid disclosure, and participants wanted control over what information entered clinical care. They also expected AI to support reflection and communication without replacing caregiver voice or clinician judgment. We contribute design considerations for proactive, clinically connected caregiver wellbeing support.

Tue 15 SeptHuman-Computer InteractionArtificial IntelligenceComputation and Language
The gist
Taking care of people with dementia is hard and can affect the health and feelings of family caregivers. The authors created CareMirror, a set of tools that help caregivers think about their wellbeing over time and share certain information with doctors if they want. Caregivers liked getting personal support and having their wellbeing noticed by clinicians, but they wanted control over what is shared and worried about the emotional cost of repeated reflection. They also hoped AI could help but still keep caregivers and doctors fully involved.
Open 2609.17434v1

Optical satellite links stability key to reliable high-speed space communication

Analytical Channel Modeling and Stability Aware Optimization of Optical Inter Satellite Links

Abstract: Optical inter-satellite links (OISLs) are key enablers for high-capacity space networks and next-generation satellite constellations. However, their extreme directionality makes link reliability highly sensitive to platform-induced pointing jitter, which causes random misalignment between the transmitter and receiver beams. In this paper, we develop a tractable closed-form statistical channel model for point-to-point OISLs subject to independent pointing errors at both terminals. Accurate Gaussian main-lobe approximations are applied to the transmitter far-field pattern and receiver coupling efficiency. This transforms the diffraction-based channel response into closed-form expressions for the channel-gain distribution, outage probability, and ergodic capacity. The analytical results are validated through Monte Carlo simulations and used to study the impact of terminal stability, beam divergence, and link margin on OISL performance. The results show that outage probability is governed by the weaker terminal in terms of pointing stability, while improving only the stronger terminal provides minimal additional benefit. In contrast, the ergodic-capacity penalty depends on the combined stability of both terminals, revealing a fundamental distinction between reliability and throughput metrics. The proposed framework provides practical design guidelines for selecting beam parameters and specifying pointing and tracking requirements under varying levels of platform instability.

Tue 15 SeptInformation Theory
The gist
Connecting satellites with laser beams in space can provide very fast data links, but even tiny vibrations cause the beams to misalign and disrupt the connection. The authors created a math model that predicts how these tiny errors affect signal quality between two satellites. Their model shows that the weaker link’s stability dominates connection reliability, while overall link speed depends on both ends. This helps satellite engineers design better communication systems by choosing the right beam settings and stability measures.
Open 2609.17431v1

Hybrid system safety guarantees with goal-driven control methods

Hamilton-Jacobi Reachability for Hybrid Systems: Unified Goal-Driven Control with Safety Guarantees

Abstract: Hybrid dynamical systems provide a powerful modeling framework for robotic systems, particularly in contact-rich environments. However, ensuring safety and performance in such systems remains challenging due to the intricate coupling between continuous dynamics and discrete mode transitions. In this work, we extend classical Hamilton-Jacobi (HJ) reachability analysis, a formal verification method for continuous-time nonlinear systems, to hybrid dynamical systems. Our framework characterizes safe sets for hybrid systems through a generalized value function defined over both discrete and continuous states while accounting for control constraints and model uncertainty. We additionally provide a numerical algorithm to compute this value function. Building on these safe sets, we propose two different mechanisms to integrate performance objectives. First, we introduce a hybrid least-restrictive safety filter that intervenes on both the discrete and continuous components of a nominal controller only when necessary to avoid unsafe states, thereby preserving nominal behavior whenever possible. Second, we formulate and compute hybrid backward reach-avoid tubes, enabling the simultaneous enforcement of safety and goal-reaching behavior, an extension not previously addressed within hybrid HJ reachability. This enables the synthesis of continuous and discrete control policies that guarantee both safety and task completion. We validate our framework through simulation studies and real-world experiments on a quadrupedal robot, demonstrating its effectiveness in hybrid mode planning and safety-critical applications.

Tue 15 SeptRobotics
The gist
Robots that mix different types of movements and modes, like walking and jumping, can be tricky to control safely. The authors extended a mathematical method called Hamilton-Jacobi reachability to handle these hybrid systems. This helps find safe ways for robots to behave while still achieving their goals, like moving without falling or reaching a target. They tested their approach on a four-legged robot to show it works in real life.
Open 2609.17430v1

Learning-guided planning improves mobile sensor charging decisions

Learning-Guided Planning in Large Dynamic Action Spaces: Budgeted Tree Search for One-to-Many Mobile Charging

Abstract: Many learned sequential decision systems map the current state directly to an action. That shortcut becomes brittle when candidate actions are numerous, geometrically structured, and rebuilt with the state. One-to-many mobile charging makes this setting concrete: with N=250 sensors, the initial state induces about 1,125 candidate charging-stop actions; each chosen stop simultaneously serves its in-range sensors, and the action universe changes as sensors die. LP-BTS is a learning-guided planning architecture: a graph proposal policy concentrates a small candidate support, a learned value critic evaluates leaves, and edge-budgeted PUCT compares short simulated futures before committing an action. Because the policy scores this set without a fixed output head, a single frozen checkpoint covers every evaluated setting, spanning action universes from 736 to 2,813 stops. Matched ablations reveal complementary effects: uniform sampling costs 8.8 survival percentage points, while, with targeted support fixed, PUCT jointly retains 1.4 points (about 3.5 of 250 sensors) and direct policy selection travels 23% farther. On a prospectively specified, sealed 30-scenario confirmatory bank evaluated once, LP-BTS attains the highest observed survival (0.4545) and alive-AUC (0.8031). Its estimated survival advantage over the strongest domain-engineered comparator is +0.0066 (95% CI [-0.0037, +0.0184]), an unresolved difference, while it exceeds a deadline heuristic and two source-derived direct-policy reconstructions on every paired scenario. Both learned rows are trained, source-derived reconstructions of variants reported by Gong et al. In this setting, the results provide controlled evidence about learning-guided planning in a large, dynamic action space.

Tue 15 SeptMachine LearningArtificial Intelligence
The gist
Planning which sensors to charge is hard when there are many choices that change over time. The authors show a new method that uses a smart guess to narrow down options and then carefully picks the best choices by simulating short futures. Their approach works well with hundreds of sensors and adapts as sensors run out of power. Tests show it performs better than simple or fixed methods and matches or beats other advanced approaches.
Open 2609.17429v1

Occlusion-robust system keeps tracking targets through long disappearances

Tracking the Unseen: An Occlusion-Robust Framework for Target Tracking Under Full and Long-Term Occlusion

Abstract: Real-time multi-object tracking systems remain highly vulnerable to full and long-term occlusion, where targets temporarily or completely disappear from the camera's field of view. Conventional trackers may terminate trajectories prematurely, resulting in identity loss and reduced situational awareness in applications such as defense and surveillance. This work proposes an occlusion-robust target tracking framework that maintains target identity and trajectory continuity through the integration of YOLOv11n object detection, Kalman Filter motion prediction, and occlusion-aware appearance-based re-identification. The framework consists of three stages: object detection, position estimation during occlusion, and identity recovery after target reappearance. Six Re-Identification (Re-ID) architectures were evaluated within the same tracking framework under identical conditions, with the Occlusion-Aware Mask Network (OAMN) achieving the best overall performance and therefore selected for the final pipeline. The framework was benchmarked against OccluTrack on the public OVIS dataset, achieving relative improvements of 18.1 percent in Multiple Object Tracking Accuracy (MOTA) and 25.1 percent in Identity F1 Score (IDF1), while reducing identity switches by 12.8 percent. On a custom military dataset simulating surveillance and battlefield-like environments with long-term occlusion, the framework achieved a MOTA of 0.734 and an IDF1 of 0.729, corresponding to relative improvements of 14.2 percent and 5.8 percent over OccluTrack. The system demonstrated strong tracking continuity, robust identity preservation, and reliable trajectory estimation under challenging occlusion conditions, highlighting its effectiveness for defense-related surveillance applications requiring continuous target tracking during visibility loss.

Tue 15 SeptComputer Vision and Pattern RecognitionArtificial Intelligence
The gist
Tracking objects in videos is hard when the objects disappear behind obstacles or leave the camera view for a while. The authors created a system that can predict where these objects move during the disappearances and correctly identify them when they reappear. They combined object detection, motion prediction, and special appearance recognition to do this. Their method works better than previous ones, especially in tough conditions like military surveillance.
Open 2609.17427v1