English
Related papers

Related papers: Nidus: Externalized Reasoning for AI-Assisted Engi…

200 papers

EASA's learning-assurance guidance requires data-driven aviation systems to build and monitor their own situation representation, yet for neural networks the technical means to provide such evidence remain an open problem. We address this…

Machine Learning · Computer Science 2026-05-21 Romeo Valentin , Olivia Beyer Bruvik , Marc R. Schlichting , Mykel J. Kochenderfer

Drug development and pharmacovigilance are frequently bottlenecked by legacy clinical reporting pipelines. These monolithic systems encode regulatory-grade logic but resist AI integration by producing opaque output with no machine-readable…

Software Engineering · Computer Science 2026-05-15 Jaime Yan

In Agentic AI, Large Language Models (LLMs) are increasingly used in the orchestration layer to coordinate multiple agents and to interact with external services, retrieval components, and shared memory. In this setting, failures are not…

Multiagent Systems · Computer Science 2026-03-20 Ciprian Paduraru , Petru-Liviu Bouruc , Alin Stefanescu

Mechanical reasoning is a hallmark of human intelligence, defined by its ubiquitous yet irreplaceable role in human activities ranging from routine tasks to civil engineering. Embedding machines with mechanical reasoning is therefore an…

Artificial Intelligence · Computer Science 2025-08-14 Haoran Sun , Qingying Gao , Haiyun Lyu , Dezhi Luo , Yijiang Li , Hokin Deng

Despite the impressive adaptability of large language models (LLMs), challenges remain in ensuring their security, transparency, and interpretability. Given their susceptibility to adversarial attacks, LLMs need to be defended with an…

Artificial Intelligence · Computer Science 2024-10-11 Tomas Bueno Momcilovic , Beat Buesser , Giulio Zizzo , Mark Purcell , Dian Balta

Frequent toolchain updates and growing ISA diversity have made system-level software package repair increasingly important. Diagnosing and repairing build failures remains challenging because failures involve heterogeneous evidence,…

Software Engineering · Computer Science 2026-05-12 Chenyu Zhao , Minghua Ma , Shenglin Zhang , Zeshun Huang , Yongqian Sun , Chetan Bansal , Saravan Rajmohan , Dan Pei

This paper introduces eX-NIDS, a framework designed to enhance interpretability in flow-based Network Intrusion Detection Systems (NIDS) by leveraging Large Language Models (LLMs). In our proposed framework, flows labelled as malicious by…

Cryptography and Security · Computer Science 2025-11-12 Paul R. B. Houssel , Siamak Layeghy , Priyanka Singh , Marius Portmann

Under the EU AI Act, translating AI governance requirements into software development practice remains challenging. While AI governance frameworks exist at industry and organizational levels, empirical evidence of team-level implementation…

Artificial Intelligence · Computer Science 2026-04-24 Simon Jarvers , Orestis Papakyriakopoulos

LLM-powered Multi-Agent Systems (LLM-MAS) unlock new potentials in distributed reasoning, collaboration, and task generalization but also introduce additional risks due to unguaranteed agreement, cascading uncertainty, and adversarial…

Multiagent Systems · Computer Science 2025-10-22 Jinwei Hu , Yi Dong , Shuang Ao , Zhuoyun Li , Boxuan Wang , Lokesh Singh , Guangliang Cheng , Sarvapali D. Ramchurn , Xiaowei Huang

A hallmark of advanced artificial intelligence is the capacity to progress from passive visual perception to the strategic modification of visual information to facilitate complex reasoning. This advanced capability, however, remains…

Computer Vision and Pattern Recognition · Computer Science 2025-11-19 Jingkun Ma , Runzhe Zhan , Yang Li , Di Sun , Hou Pong Chan , Lidia S. Chao , Derek F. Wong

AI-assisted software generation has increased development speed, but it has also amplified a persistent engineering problem: systems that are functionally correct may still be structurally insecure. In practice, prompt-based security review…

Cryptography and Security · Computer Science 2026-03-09 Elzo Brito dos Santos Filho

The rapid progress in open-source Large Language Models (LLMs) is significantly driving AI development forward. However, there is still a limited understanding of their trustworthiness. Deploying these models at scale without sufficient…

Computation and Language · Computer Science 2024-04-03 Lingbo Mo , Boshi Wang , Muhao Chen , Huan Sun

The most important architectural problem in AI is not the size of the model but the absence of a layer that carries forward what the model has come to understand. Sessions end. Context windows fill. Memory APIs return flat facts that the…

Artificial Intelligence · Computer Science 2026-04-21 Samuel Sameer Tanguturi

AI tutoring systems in engineering labs face a tension between providing sufficient assistance and preserving learning opportunities. Existing systems typically offer instructors limited control over assistance timing, content, or cost.…

Computers and Society · Computer Science 2026-05-01 Emmanuel A. Olowe , Danial Chitnis

Agentic AI systems built on large language models (LLMs) offer significant potential for automating complex workflows, from software development to customer support. However, LLM agents often underperform due to suboptimal configurations;…

The enterprise governance of Generative AI (GenAI) in regulated sectors, such as Human Resources (HR), demands scalable yet reproducible auditing mechanisms. While Large Language Model (LLM)-as-a-Judge approaches offer scalability, their…

Software Engineering · Computer Science 2026-01-21 Murtuza N. Shergadwala

Anomaly-based network intrusion detection systems (A-NIDS) use unsupervised models to detect unforeseen attacks. However, existing A-NIDS solutions suffer from low throughput, lack of interpretability, and high maintenance costs. Recent…

Cryptography and Security · Computer Science 2024-04-01 Ruoyu Li , Qing Li , Yu Zhang , Dan Zhao , Xi Xiao , Yong Jiang

As autonomous and agentic AI systems scale in robotic and human-machine environments, managing hallucination and persistent but unjustified action remains an open challenge. Rather than attributing these failures solely to model or…

Artificial Intelligence · Computer Science 2026-05-28 Srini Ramaswamy

Unstructured text data annotation is foundational to management research. LLMs offer a cost-effective and scalable alternative to human annotation, but they introduce a novel challenge: the annotator itself can be retired. Proprietary…

Computation and Language · Computer Science 2026-05-13 Xiang Cheng , Raveesh Mayya , João Sedoc

We address concurrency control for LLM agents sharing mutable state over HTTP, where agents cannot be modified to declare read sets. S-Bus is an HTTP middleware whose central mechanism, a server-side DeliveryLog, reconstructs each agent's…

Machine Learning · Computer Science 2026-05-25 Sajjad Khan