Other areas

Fri, Oct 301 paper

arXiv

Calculation and rejection diverge in language models tested at known mechanical limits

Shaoliang Yang, Jun Wang

When a language model returns engineering quantities with the status "solved", software that trusts it passes them on, even when the requested design is physically…When a language model returns engineering quantities with the status "solved", software that trusts it passes them on, even when the requested design is physically impossible.

Preprint: empirical study

Mon, Oct 261 paper

arXiv

Chaos and bifurcations in continuous language-model feedback

Timothy D. Jones

Feeding a pretrained language model the expected embedding of its own next-token distribution turns it into a discrete-time dynamical system with continuous states.Feeding a pretrained language model the expected embedding of its own next-token distribution turns it into a discrete-time dynamical system with continuous states. Across Qwen2.5, OLMo-2 and Llama-3 models from 0.

Preprint: empirical study

Fri, Oct 231 paper

arXiv

Lifetime-valid decisions by continually evolving AI analysts

Xiaojing Sun, Yuhan Zeng, Xiao Wang

AI agents increasingly act as analysts whose decision can often be cast as hypothesis tests. Classical tests control the Type I error rate, the probability of rejecting a…AI agents increasingly act as analysts whose decision can often be cast as hypothesis tests. Classical tests control the Type I error rate, the probability of rejecting a true null hypothesis, for fixed procedures.

Continual validation and the two examples.
Preprint: method

Fri, Oct 16

arXiv

Spark-0: Scaling Spatially Aligned Tactile Pretraining for Robot Dexterous Manipulation

Tianxing Chen, Wenwei Lin, Chuqiao Lyu et al.

Generalist robot policies benefit from large-scale visual pretraining but often struggle with contact-rich dexterous manipulation, where force, compliance, and incipient…Generalist robot policies benefit from large-scale visual pretraining but often struggle with contact-rich dexterous manipulation, where force, compliance, and incipient slip are hard to observe from images.

Preprint: new model
arXiv

Classical Capacity of Single-Mode Bosonic Gaussian Channels

Gerardo Adesso, Ludovico Lami, Vittorio Giovannetti

The classical capacity of a noisy optical channel is the maximum rate at which information can be transmitted reliably, given a constraint on the mean input energy.The classical capacity of a noisy optical channel is the maximum rate at which information can be transmitted reliably, given a constraint on the mean input energy.

Preprint: theory
arXiv

My Credentials, Please: Detecting Filesystem Capability Laundering in MCP Servers at Scale

Zeqian Huang, Mingyue Tang, Aonan Guan et al.

The Model Context Protocol (MCP) standardizes how AI agents invoke external tools. MCP servers expose tools through a declared contract consisting of a name, description…The Model Context Protocol (MCP) standardizes how AI agents invoke external tools. MCP servers expose tools through a declared contract consisting of a name, description, and argument schema.

Preprint: system
arXiv

Subgraph Counting with Local Node Differential Privacy

Sofya Raskhodnikova, Adam Smith, Connor Wagaman et al.

We study the problem of approximately counting subgraphs under local node differential privacy (LNDP), a recently introduced model that enforces strong privacy guarantees…We study the problem of approximately counting subgraphs under local node differential privacy (LNDP), a recently introduced model that enforces strong privacy guarantees in analyses of distributed social networks.

Preprint: theory
arXiv

The Information Bottleneck is NP-hard

Roberto Bruno, Ugo Vaccaro

Given a joint distribution PXY on a finite alphabet, the information bottleneck method seeks a representation T of X that is as informative as possible about Y while…Given a joint distribution PXY on a finite alphabet, the information bottleneck method seeks a representation T of X that is as informative as possible about Y while compressing X, where T and Y are conditionally independent given…

Preprint: theory
arXiv

Tree Edit Distance: Near-Linear-Time Approximate, Sublinear, and Dynamic

Bingbing Hu, Tomasz Kociumaka, Jakob Nogler et al.

Tree edit distance (TED), the analog of string edit distance (ED) for hierarchical data, is the minimum number of node insertions, deletions, and substitutions…Tree edit distance (TED), the analog of string edit distance (ED) for hierarchical data, is the minimum number of node insertions, deletions, and substitutions transforming one labeled rooted ordered tree into another.

Preprint: method
arXiv

Language Is a Security Surface for Agent Guards

Hasan Demirkiran, Jens Ernstberger

Step-level guards decide, before each tool call, whether an agent's next action is safe given the user's request and the trajectory so far.Step-level guards decide, before each tool call, whether an agent's next action is safe given the user's request and the trajectory so far.

Preprint: benchmark or dataset
arXiv

OpenGCUA: Toward a Fully Open Stack for Generalist Computer Use

Hanzhang Zhou, Long Li, Quyu Kong et al.

Computer use has reached a turning point: the focus is expanding from GUI-only interaction to systems that complete tasks on users' computers through visual and…Computer use has reached a turning point: the focus is expanding from GUI-only interaction to systems that complete tasks on users' computers through visual and programmatic interfaces.

On the offline set of OSWorld-v2, OpenGCUA improves all eight frontier models, raising mean partial score by 19.6 points and reducing steps per task by 53%.
Preprint: system
arXiv

Whole-Body Dexterity

Conor Mc Gartoll, An Dang, Pranay Thangeda et al.

Current humanoid dexterous manipulation remains largely confined to end-effectors and simple grasps, falling short of humans' ability to engage the entire body by bracing…Current humanoid dexterous manipulation remains largely confined to end-effectors and simple grasps, falling short of humans' ability to engage the entire body by bracing and sliding bulky objects against the arms and torso.

Preprint: new model
arXiv

Believed but Not Said: Measuring Hidden Belief Collapse in Multi-Agent LLM Discussions

Liangjie Huang, Henry Peng Zou, Wei-Chieh Huang et al.

LLM systems increasingly rely on groups of agents that discuss, critique, and check one another, assuming that peers will catch individual errors.LLM systems increasingly rely on groups of agents that discuss, critique, and check one another, assuming that peers will catch individual errors. We test this assumption against a minimal adversary.

Preprint: empirical study
arXiv

Graph algorithms reach matrix multiplication’s time bound

The proof improved running-time guarantees for all the graph problems studied in earlier work by Kratsch and Spinrad, essentially matching conditional limits.The proof improved running-time guarantees for all the graph problems studied in earlier work by Kratsch and Spinrad, essentially matching conditional limits.

A large orderly network with a black route sits beside a smaller tangled dark blue-green network and overlapping grids of square tiles.
Preprint: theory
arXiv

Multi-SFT: Permissively-Licensed Multilingual Instruction-Following

Daniela Baiamonte, Kamyar Zeinalipour, Elena Fano et al.

Supervised fine-tuning datasets remain overwhelmingly English-centric and commercially restricted, as their content is frequently generated by proprietary models whose…Supervised fine-tuning datasets remain overwhelmingly English-centric and commercially restricted, as their content is frequently generated by proprietary models whose terms of service forbid training competing systems.

Preprint: benchmark or dataset
arXiv

Beyond Context Length: Characterising the Difficulty of Long-Context Reasoning

Shiwen Qin, Cameron Barker, Henry Gouk et al.

Long-context language models support ever longer context windows, and evaluations typically treat context length as the main indicator of difficulty.Long-context language models support ever longer context windows, and evaluations typically treat context length as the main indicator of difficulty.

Mean score relative to the task–LLM mean (pp), by within-task attribute tercile.
Preprint: benchmark or dataset
arXiv

FeaTok: Feature-Loss Tokenization for Image Generation

Zhang Xiaofeng, Samuel Lavoie, Nicolas Beltran-Velez et al.

Discrete image generators learn the distribution of tokens produced by an image tokenizer. These token representations should be easy for generators to model, not merely…Discrete image generators learn the distribution of tokens produced by an image tokenizer. These token representations should be easy for generators to model, not merely enable faithful image reconstruction.

Preprint: method
arXiv

Seeing is Believing: Benchmarking and Mitigating the Interference of Language Priors on Visual Perception in MLLMs

Li Ma, Yan Zhuang, Jiawen Deng et al.

Language priors in MLLMs can override visual evidence, impairing visual perception. Existing benchmarks assume shared priors across models and rely solely on accuracy.Language priors in MLLMs can override visual evidence, impairing visual perception. Existing benchmarks assume shared priors across models and rely solely on accuracy.

Preprint: benchmark or dataset
arXiv

RoleQ: Role-Aligned Scales for Converting Language Models to Ternary

Johannes Knittel, Alec Helbling, Hanspeter Pfister

Weight quantization below four bits shrinks memory and bandwidth at a perplexity that looks acceptable, but often at the cost of factual knowledge and task accuracy.Weight quantization below four bits shrinks memory and bandwidth at a perplexity that looks acceptable, but often at the cost of factual knowledge and task accuracy.

Preprint: method
arXiv

In the Guise of Correction: How Framing and Cultural Adaptation Erode LLM Safety on Real-World Criminal Cases

Mohsinul Kabir, Md. Tariquzzaman, Karam S. R. Elradie et al.

Existing safety benchmarks rely largely on synthetic prompts with loosely grounded taxonomies and offer little focused analysis of severe crime categories.Existing safety benchmarks rely largely on synthetic prompts with loosely grounded taxonomies and offer little focused analysis of severe crime categories.

Preprint: benchmark or dataset
arXiv

Data World: Scaling Data Environments from Scratch

Zhanli Li, Zeyuan Xu, Chaoxu Pang et al.

Data agents use code to process heterogeneous files and derive analytical insights. Scaling their training faces costly environment curation, privacy and…Data agents use code to process heterogeneous files and derive analytical insights. Scaling their training faces costly environment curation, privacy and intellectual-property restrictions, and difficulty verifying open-ended…

Preprint: benchmark or dataset
arXiv

The Self-Improvement Problem

Brian B. Moser, Stanislav Frolov, Tobias C. Nauen et al.

With the rise of large language models, agentic systems are becoming increasingly autonomous, as they write code, call tools, revise prompts, and propose modifications to…With the rise of large language models, agentic systems are becoming increasingly autonomous, as they write code, call tools, revise prompts, and propose modifications to their own components.

Preprint: theory
arXiv

Kolmogorov-Arnold Networks: Curse of Dimensionality and Structural Bias

Yunhao Ni, Yuxin Guo, Jie Luo et al.

Kolmogorov-Arnold networks (KANs) have a dimension-independent approximation exponent when the target admits a sufficiently smooth representation by univariate edge…Kolmogorov-Arnold networks (KANs) have a dimension-independent approximation exponent when the target admits a sufficiently smooth representation by univariate edge functions.

Depth–width scan for normal-label testing (top) and random-label fitting (bottom).
Preprint: theory
arXiv

RLDF: A Region-Level Deepfake Dataset and Benchmark for Partial-Face Manipulation Detection

Shukesh Reddy, Abhijit Das

Existing deepfake detection models are built upon manipu- lated images that are tampered with either exclusively fully swapped or fully synthesised faces, which leads us…Existing deepfake detection models are built upon manipu- lated images that are tampered with either exclusively fully swapped or fully synthesised faces, which leads us to an open question: Can off-the-shelf deepfake models…

Preprint: benchmark or dataset
arXiv

JevAgentHarness: Benchmarking, Deploying and Training Decision Models That Share Control with LLMs

Kunlun Zhu, Tao Feng, Xu Han et al.

Large language model (LLM) agents now fix software, operate computers and serve customers, but their harnesses, the programs that run them, call a large LLM at every…Large language model (LLM) agents now fix software, operate computers and serve customers, but their harnesses, the programs that run them, call a large LLM at every step, which makes long tasks slow and costly.

Preprint: system
arXiv

ZoomCap: Evidence-Routed Visual Zooming for Recoverable Visual Information Transfer

Hao Shi, Jiafeng Wang, Yuzhuo Fu et al.

Detailed captions transfer visual information into vision-language model supervision, but quality is easily conflated with length: long single-pass outputs still miss…Detailed captions transfer visual information into vision-language model supervision, but quality is easily conflated with length: long single-pass outputs still miss small objects, text, and spatial relations or promote uncertain…

Preprint: method
arXiv

Loud and Clear: Making Visual Evidence Count in Multimodal Document RAG

Eunchan Jo, Seounghyun Jang, Sangwoo Mo

Multimodal document retrieval-augmented generation (RAG) has focused largely on retrieval, yet its answers depend on how well a vision-language model reads the retrieved…Multimodal document retrieval-augmented generation (RAG) has focused largely on retrieval, yet its answers depend on how well a vision-language model reads the retrieved pages.

Preprint: method
arXiv

System1-Arena: Which Decisions Can Be Left to System 1?

Tianyu Chen, Xinyang Liu, Ruyi An et al.

Large language models (LLMs) often make discrete decisions, such as flagging phishing or escalating to a human.Large language models (LLMs) often make discrete decisions, such as flagging phishing or escalating to a human. System-1 models, such as Jev and the OpenAI Decisions API, return probabilities over options in a single forward pass…

Preprint: benchmark or dataset
arXiv

Does Latent Chain-of-Thought Actually Reason? A Single, Unifying Taxonomy for Latent Reasoning

Jingjie Qiu, Sheldon Yu, Xunyi Jiang et al.

Latent chain-of-thought replaces written reasoning steps with continuous hidden states, giving models additional steps to compute before answering.Latent chain-of-thought replaces written reasoning steps with continuous hidden states, giving models additional steps to compute before answering. It remains unclear what computation these steps actually perform.

Preprint: empirical study
arXiv

When to Ask for Help: A Decision-Theoretic Account and Measurement Standard for Slow-Module Scheduling in Dual-System Vision-Language-Action Models

Shilin Zhang

Dual-system vision-language-action (VLA) models pair a high-frequency fast policy with a slow, expensive module, and published trigger mechanisms for invoking it lack a…Dual-system vision-language-action (VLA) models pair a high-frequency fast policy with a slow, expensive module, and published trigger mechanisms for invoking it lack a shared objective, measured costs, and any standard separating…

Preprint: method
arXiv

VisualTrust: Video Reasoning under On-Screen Claim Framing

Huachao Zhu, Junjielong Xu, Sicheng Li et al.

On-screen text can describe what a video shows, or it can frame what the video is supposed to mean. Current benchmarks treat both alike, testing whether a model can read…On-screen text can describe what a video shows, or it can frame what the video is supposed to mean. Current benchmarks treat both alike, testing whether a model can read the text rather than whether it should trust it.

Preprint: benchmark or dataset
arXiv

Stronger evaluators accepted more tampered outputs in tests

Mean acceptance of tampered outputs rose from 88.6% for rule-based scorers to 94.1% for GPT-5-nano on the benchmark.Mean acceptance of tampered outputs rose from 88.6% for rule-based scorers to 94.1% for GPT-5-nano on the benchmark. The researchers introduced DIB-Bench, a benchmark testing whether evaluators detected tampering with the…

Blindness by (condition, model pair).
Preprint: benchmark or dataset
arXiv

When Judges Agree and Are Wrong: Consistency-Accuracy Dissociation as a Blind Spot for Label-Free Evaluation

Xiang Zhang, Lovedeep Gondara, Jekaterina Novikova

Label-free evaluation methods, such as self-consistency filtering, majority-vote aggregation, and agreement-based reliability scoring, rely on an implicit assumption that…Label-free evaluation methods, such as self-consistency filtering, majority-vote aggregation, and agreement-based reliability scoring, rely on an implicit assumption that consistency can serve as a proxy for correctness when…

Preprint: empirical study
arXiv

Reaction Attack on CKKS Deployments with Asymptotically Optimal Query Complexity

Song Bian, Hyeongmin Choe, Jiseung Kim et al.

We study a protocol-level reaction leakage in CKKS deployments where public coefficient-to-slot (C2S) evaluation keys are combined with a client's 1-bit validity…We study a protocol-level reaction leakage in CKKS deployments where public coefficient-to-slot (C2S) evaluation keys are combined with a client's 1-bit validity response.

Preprint: method
arXiv

NOMAI: Scalable Federated Learning with Private Weights

Yiyi Sun, Mushtari Sadia, Amrita Roy Chowdhury

The twin goals of privacy-preserving federated learning (FL) – harnessing distributed data while protecting the parties who contribute it – demands three properties…The twin goals of privacy-preserving federated learning (FL) – harnessing distributed data while protecting the parties who contribute it – demands three properties: model privacy, data privacy, and integrity.

Preprint: system
arXiv

AI agents train a small model to match official test scores

After 104 hours, the agents’ model averaged 48.2 on hidden tests, against 47.9 for the official instruction-trained version and 9.2 for the starting model.After 104 hours, the agents’ model averaged 48.2 on hidden tests, against 47.9 for the official instruction-trained version and 9.2 for the starting model.

A light blue layered model nearly matches a dark blue-green model, both towering over a small gray model, with loose pieces scattered below.
Preprint: system
arXiv

Platform trains and tests AI that operates phones and computers

MAI-Gym supported ten established tests and 20,000 simultaneous software environments, using a shared process to run agents during training and testing.MAI-Gym supported ten established tests and 20,000 simultaneous software environments, using a shared process to run agents during training and testing.

Overview of MAI-Gym. Left: online GUI environments.
Preprint: system
arXiv

Wrong Votes, Right Gradients: Why Majority-Vote Rewards Track Verifiable RL

Dylan P. Wilson, Chengsong Huang, Jiaxin Huang

Reinforcement learning with self-generated labels, such as majority vote over a model's own samples, often recovers most of the gain of training with verifiable rewards.Reinforcement learning with self-generated labels, such as majority vote over a model's own samples, often recovers most of the gain of training with verifiable rewards.

Preprint: empirical study