English
Related papers

Related papers: PASTA: A Scalable Framework for Multi-Policy AI Co…

200 papers

Artificial Intelligence (AI) is increasingly used in critical applications. Thus, the need for dependable AI systems is rapidly growing. In 2018, the European Commission appointed experts to a High-Level Expert Group on AI (AI-HLEG).…

Computers and Society · Computer Science 2021-03-17 Markus Borg , Joshua Bronson , Linus Christensson , Fredrik Olsson , Olof Lennartsson , Elias Sonnsjö , Hamid Ebabi , Martin Karsberg

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of…

Software Engineering · Computer Science 2016-12-02 Asim Abdulkhaleq , Stefan Wagner

In recent years, Explainable AI (xAI) attracted a lot of attention as various countries turned explanations into a legal right. xAI allows for improving models beyond the accuracy metric by, e.g., debugging the learned pattern and…

Software Engineering · Computer Science 2022-10-05 Mohamed Karim Belaid , Eyke Hüllermeier , Maximilian Rabus , Ralf Krestel

We present a novel framework that bridges the gap between the interpretability of decision trees and the advanced reasoning capabilities of large language models (LLMs) to predict startup success. Our approach leverages chain-of-thought…

Artificial Intelligence · Computer Science 2025-04-17 Jack Preuveneers , Joseph Ternasky , Fuat Alican , Yigit Ihlamur

Artificial Intelligence (AI) systems are now an integral part of multiple industries. In clinical research, AI supports automated adverse event detection in clinical trials, patient eligibility screening for protocol enrollment, and data…

Artificial Intelligence · Computer Science 2025-12-10 Laxmiraju Kandikatla , Branislav Radeljic

In recent years, training data attribution (TDA) methods have emerged as a promising direction for the interpretability of neural networks. While research around TDA is thriving, limited effort has been dedicated to the evaluation of…

Modern general-purpose artificial intelligence (AI) systems present an urgent risk management challenge, as their rapidly evolving capabilities and potential for catastrophic harm outpace our ability to reliably assess their risks. Current…

Artificial Intelligence · Computer Science 2025-07-03 Anna Katariina Wisakanto , Joe Rogero , Avyay M. Casheekar , Richard Mallah

Despite substantial advances in large language models (LLMs), generating factually consistent responses for knowledge-intensive question answering remains challenging. These difficulties are primarily due to hallucinations and the…

Computation and Language · Computer Science 2026-05-19 Taolin Zhang , Dongyang Li , Chen Chen , Qizhou Chen , Jiuheng Wan , Xiaofeng He , Chengyu Wang , Richang Hong

Patients increasingly rely on online reviews when choosing healthcare providers, yet the sheer volume of these reviews can hinder effective decision-making. This paper summarises a mixed-methods study aimed at evaluating a proposed…

Computers and Society · Computer Science 2026-03-03 Eman Alamoudi , Ellis Solaiman

When self-adaptive systems encounter changes within their surrounding environments, they enact tactics to perform necessary adaptations. For example, a self-adaptive cloud-based system may have a tactic that initiates additional computing…

Artificial Intelligence · Computer Science 2020-04-24 Jeffrey Palmerino , Qi Yu , Travis Desell , Daniel E. Krutz

AI agents are increasingly deployed to automate complex enterprise workflows, yet evidence of their effectiveness in identity governance is limited. We report results from the first randomized controlled trial (RCT) evaluating an AI agent…

General Economics · Economics 2025-11-19 James Bono , Beibei Cheng , Joaquin Lozano

Manually editing pasted code is a long-standing developer pain point. In internal software development at Google, we observe that code is pasted 4 times more often than it is manually typed. These paste actions frequently require follow-up…

Software Engineering · Computer Science 2026-04-14 Vincent Nguyen , Guilherme Herzog , José Cambronero , Marcus Revaj , Aditya Kini , Alexander Frömmgen , Maxim Tabachnyk

Equivalence checking is used to verify whether two programs produce equivalent outputs when given equivalent inputs. Research in this field mainly focused on improving equivalence checking accuracy and runtime performance. However, for…

Software Engineering · Computer Science 2024-09-04 Johann Glock , Josef Pichler , Martin Pinzger

An auditor instructs an AI assistant: "open each file individually using the Read tool -- no scripts, no agents." The AI replies "Yes" -- then issues a single batched call summarizing all fifty files at once. We call this the Compliance…

Computation and Language · Computer Science 2026-05-05 Kwan Soo Shin

As large language models are deployed in high-stakes enterprise applications, from healthcare to finance, ensuring adherence to organization-specific policies has become essential. Yet existing safety evaluations focus exclusively on…

Artificial Intelligence · Computer Science 2026-01-06 Dasol Choi , DongGeon Lee , Brigitta Jesica Kartono , Helena Berndt , Taeyoun Kwon , Joonwon Jang , Haon Park , Hwanjo Yu , Minsuk Kahng

The advancement of large language models (LLMs) has significantly accelerated the development of search agents capable of autonomously gathering information through multi-turn web interactions. Various benchmarks have been proposed to…

We present MAESTRO, an evaluation suite for the testing, reliability, and observability of LLM-based MAS. MAESTRO standardizes MAS configuration and execution through a unified interface, supports integrating both native and third-party MAS…

Networking and Internet Architecture · Computer Science 2026-01-05 Tie Ma , Yixi Chen , Vaastav Anand , Alessandro Cornacchia , Amândio R. Faustino , Guanheng Liu , Shan Zhang , Hongbin Luo , Suhaib A. Fahmy , Zafar A. Qazi , Marco Canini

Explainability is important for the transparency of autonomous and intelligent systems and for helping to support the development of appropriate levels of trust. There has been considerable work on developing approaches for explaining…

Artificial Intelligence · Computer Science 2025-02-17 Michael Winikoff , John Thangarajah , Sebastian Rodriguez

Large language models (LLMs) are increasingly expected to tackle complex tasks, driven by their expanding applications and users' growing proficiency in crafting sophisticated prompts. However, as the number of explicitly stated…

Next-generation AI must manage vast personal data, diverse tools, and multi-step reasoning, yet most benchmarks remain context-free and single-turn. We present ASTRA-bench (Assistant Skills in Tool-use, Reasoning \& Action-planning), a…

Artificial Intelligence · Computer Science 2026-03-03 Zidi Xiu , David Q. Sun , Kevin Cheng , Maitrik Patel , Josh Date , Yizhe Zhang , Jiarui Lu , Omar Attia , Raviteja Vemulapalli , Oncel Tuzel , Meng Cao , Samy Bengio
‹ Prev 1 8 9 10 Next ›