中文
相关论文

相关论文: Agora: Toward Autonomous Bug Detection in Producti…

200 篇论文

Current Autonomous Scientific Research (ASR) systems, despite leveraging large language models (LLMs) and agentic architectures, remain constrained by fixed workflows and toolsets that prevent adaptation to evolving tasks and environments.…

We present HADA (Human-AI Agent Decision Alignment), a protocol- and framework agnostic reference architecture that keeps both large language model (LLM) agents and legacy algorithms aligned with organizational targets and values. HADA…

人工智能 · 计算机科学 2025-06-06 Tapio Pitkäranta , Leena Pitkäranta

This study explores the application of Answer Set Programming (ASP) for detecting anomalies in system logs, addressing the challenges posed by evolving cyber threats. We propose a novel framework that leverages ASP's declarative nature and…

密码学与安全 · 计算机科学 2025-12-05 Fang Li , Fei Zuo , Gopal Gupta

Recent advancements in Large Language Models (LLMs) have sparked interest in their application to Static Application Security Testing (SAST), primarily due to their superior contextual reasoning capabilities compared to traditional symbolic…

密码学与安全 · 计算机科学 2026-04-09 Zi Liang , Qipeng Xie , Jun He , Bohuan Xue , Weizheng Wang , Yuandao Cai , Fei Luo , Boxian Zhang , Haibo Hu , Kaishun Wu

Multi-agent large language model (LLM) systems are rapidly emerging as the dominant architecture for enterprise AI automation, yet production deployments exhibit failure rates between 41% and 86.7%, with nearly 79% of failures originating…

人工智能 · 计算机科学 2026-04-21 Vivek Acharya

AI agent protocols -- including MCP, A2A, ANP, and ACP -- enable autonomous agents to discover capabilities, delegate tasks, and compose services across trust boundaries. Despite massive deployment (MCP alone has 97M+ monthly SDK…

密码学与安全 · 计算机科学 2026-03-26 Shenghan Zheng , Qifan Zhang

AI agent frameworks connecting large language model (LLM) reasoning to host execution surfaces -- shell, filesystem, containers, and messaging -- introduce security challenges structurally distinct from conventional software. We present a…

密码学与安全 · 计算机科学 2026-05-15 Surada Suwansathit , Yuxuan Zhang , Guofei Gu

The adoption of Internet of Things (IoT) systems at the network edge of smart architectures is increasing rapidly, intensifying the need for security mechanisms that are both adaptive and resource-efficient. In such environments, runtime…

密码学与安全 · 计算机科学 2026-05-04 Saeid Jamshidi , Foutse Khomh , Carol Fung , Kawser Wazed Nafi

Recent advancements in automatic code generation using large language model (LLM) agent have brought us closer to the future of automated software development. However, existing single-agent approaches face limitations in generating and…

软件工程 · 计算机科学 2024-04-04 Yoichi Ishibashi , Yoshimasa Nishimura

The rapid adoption of agentic AI, powered by large language models (LLMs), is transforming enterprise ecosystems with autonomous agents that execute complex workflows. Yet we observe several key security vulnerabilities in LLM-driven…

密码学与安全 · 计算机科学 2025-09-23 Zhenhua Zou , Zhuotao Liu , Lepeng Zhao , Qiuyang Zhan

Grey failures in the computing continuum produce ambiguous overlapping symptoms that existing approaches fail to diagnose reliably, either due to a lack of causal awareness or acting under high epistemic uncertainty, risking destructive…

分布式、并行与集群计算 · 计算机科学 2026-05-26 Suvi De Silva , Alfreds Lapkovskis , Alaa Saleh , Sasu Tarkoma , Praveen Kumar Donta

The escalating complexity of software systems and accelerating development cycles pose a significant challenge in managing code errors and implementing business logic. Traditional techniques, while cornerstone for software quality…

软件工程 · 计算机科学 2023-10-16 Gang Fan , Xiaoheng Xie , Xunjin Zheng , Yinan Liang , Peng Di

Autonomous agents have recently achieved remarkable progress across diverse domains, yet most evaluations focus on short-horizon, fully observable tasks. In contrast, many critical real-world tasks, such as large-scale software development,…

Blockchain consensus mechanisms have relied on algorithms such as Proof-of-Work (PoW) and Proof-of-Stake (PoS) to ensure network functionality and integrity. However, these approaches struggle with adaptability for decision-making where the…

多智能体系统 · 计算机科学 2026-02-10 Apurba Pokharel , Ram Dantu , Shakila Zaman , Vinh Quach , Sirisha Talapuru

Existing safety evaluation methods for large language models (LLMs) suffer from inherent limitations, including evaluator bias and detection failures arising from model homogeneity, which collectively undermine the robustness of risk…

Network log data analysis plays a critical role in detecting security threats and operational anomalies. Traditional log analysis methods for anomaly detection and root cause analysis rely heavily on expert knowledge or fully supervised…

网络与互联网体系结构 · 计算机科学 2025-09-09 Xuanhao Luo , Shivesh Madan Nath Jha , Akruti Sinha , Zhizhen Li , Yuchen Liu

Agentic AI systems -- Large Language Models (LLMs) augmented with planning, tool use, memory, and long-horizon interactions -- can execute complex tasks autonomously, but their multi-step trajectories introduce new failure modes that…

Tabular anomaly detection is often handled by single detectors or static ensembles, even though strong performance on tabular data typically comes from heterogeneous model families (e.g., tree ensembles, deep tabular networks, and tabular…

机器学习 · 计算机科学 2026-02-17 Pinqiao Wang , Sheng Li

Log-based insider threat detection (ITD) detects malicious user activities by auditing log entries. Recently, large language models (LLMs) with strong common sense knowledge have emerged in the domain of ITD. Nevertheless, diverse activity…

密码学与安全 · 计算机科学 2024-08-20 Chengyu Song , Linru Ma , Jianming Zheng , Jinzhi Liao , Hongyu Kuang , Lin Yang

This work addresses the problem of ensuring trustworthy computation in a linear consensus network. A solution to this problem is relevant for several tasks in multi-agent systems including motion coordination, clock synchronization, and…

最优化与控制 · 数学 2011-04-19 Fabio Pasqualetti , Antonio Bicchi , Francesco Bullo