Multi-server MCP agents create an information-flow control (IFC) problem: faithful tool composition can turn individually benign read/write permissions into cross-boundary credential propagation -- a structural side effect of workflow topology, not necessarily malicious model behavior. We present MCPHunt, to our knowle...
Haonan Li, Tianjun Sun, Yongqing Wang et al.· 0 citations
Clinical diagnosis requires sequential evidence acquisition under uncertainty. However, most Large Language Model (LLM) based diagnostic systems assume fully observed patient information and therefore do not explicitly model how clinical evidence should be sequentially acquired over time. Even when diagnosis is formula...
Xuyang Shen, Haoran Liu, Dongjin Song et al.· 0 citations
Auditing predictive policing requires distinguishing recorded crime incidents, simulated patrol observations, and the demographic characteristics of places. We present a reproducible spatial simulation audit combining a generative adversarial network (GAN) for patrol allocation with a probabilistic detection model. Usi...
Electronic control units (ECUs) embedded within modern vehicles generate a large number of asynchronous events known as diagnostic trouble codes (DTCs). These discrete events form complex temporal sequences that reflect the evolving health of the vehicle's subsystems. In the automotive industry, domain experts manually...
Hugo Math· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
In medical data analysis, extracting deep insights from complex, multi-modal datasets is essential for improving patient care, increasing diagnostic accuracy, and optimizing healthcare operations. However, there is currently a lack of high-quality datasets specifically designed to evaluate the ability of large multi-mo...
Zhenghao Zhu, Chuxue Cao, Sirui Han et al.· 0 citations
We study whether a transformer network can learn the deterministic sequence of trees generated by the iterated prime factorization of the natural numbers. Each integer is mapped into a rooted planar tree and the resulting sequence $\mathbb{N}\mathscr{T}$ defines an arithmetic text with measurable statistical structure....
Alessandro Breccia, Federica Gerace, Marco Lippi et al.· 0 citations
Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most existing work focuses on abstract models of argumentation under uncertainty. Following a recent trend in the literature, we tackle the open question of studying plausible insta...
Medical deep learning models depend heavily on domain-specific knowledge to perform well on knowledge-intensive clinical tasks. Prior work has primarily leveraged unimodal knowledge graphs, such as the Unified Medical Language System (UMLS), to enhance model performance. However, integrating multimodal medical knowledg...
Xiaochen Wang, Yuan Zhong, Lingwei Zhang et al.· 0 citations
SceneBloom is introduced, an agentic framework that combines visual layout sampling with contract-guided 3D compilation that attains the highest visual quality and physical stability among the compared methods and is the only method with no detected mesh collisions and out-of-bounds objects.
Robust reinforcement learning (RL) is critical for reliable real-world deployment, where policies may fail under diverse shifts and disruptions. Existing robust RL algorithms offer a rich set of mechanisms and principles, yet two major barriers limit their broader potential: limited algorithm reusability and an unclear...
Collecting high-quality demonstrations remains a central bottleneck for learning dexterous manipulation. Teleoperation records executable robot actions, but it requires a complete robot setup and places the burden of coordinating many finger joints on the operator. Human demonstrations are easier to collect, but their...
Amber Xie, Jiawei Fu, Xiaofeng Guo et al.· 0 citations
Objective: To develop a unified vision-language model for prompt-conditioned quantitative ultrasound measurement that addresses the mismatch between continuous measurement targets and discrete token-based numerical prediction. Methods: This article presents HAD-VLM, a hybrid autoregressive-diffusion framework that comb...
Dianye Huang, Jiamei Guo, Yue Zhou et al.· 0 citations