English
Related papers

Related papers: Spec-Driven AI for Science: The ARIA Framework for…

200 papers

This paper introduces ARCADIA, an agentic AI framework for causal discovery that integrates large-language-model reasoning with statistical diagnostics to construct valid, temporally coherent causal structures. Unlike traditional…

Artificial Intelligence · Computer Science 2025-12-02 Fabrizio Maturo , Donato Riccio , Andrea Mazzitelli , Giuseppe Bifulco , Francesco Paolone , Iulia Brezeanu

The rapid integration of generative AI into academic workflows demands curricula that equip students not only with tool proficiency but with the critical judgment to use those tools responsibly in scholarly work. Existing offerings cluster…

Computers and Society · Computer Science 2026-05-01 Gideon K. Gogovi

AI-driven autoformalization of mathematics is advancing rapidly. However, the type checker of a proof assistant guarantees only the logical correctness of proofs; it does not verify whether propositions and definitions faithfully capture…

Human-Computer Interaction · Computer Science 2026-04-21 Banri Yanahama , Akiyoshi Sannai

AI research agents can now generate research ideas, design experiments, run code, and draft papers, raising the possibility of large-scale AI-assisted scientific discovery. Many current agent frameworks explicitly encourage the generation…

Computation and Language · Computer Science 2026-05-28 Yixuan Tang , Yi Yang

Big Data has become central to modern applications in finance, insurance, and cybersecurity, enabling machine learning systems to perform large-scale risk assessments and fraud detection. However, the increasing dependence on automated…

Machine Learning · Computer Science 2025-12-19 Ayush Jain , Rahul Kulkarni , Siyi Lin

The rapid rollout of AI in heterogeneous public and societal sectors has subsequently escalated the need for compliance with regulatory standards and frameworks. The EU AI Act has emerged as a landmark in the regulatory landscape. The…

Artificial Intelligence · Computer Science 2026-03-11 Athanasios Davvetas , Michael Papademas , Xenia Ziouvelou , Vangelis Karkaletsis

This concluding chapter explores how artificial intelligence (AI) is reshaping the purposes, practices, and outcomes of science education, and proposes a human-centered framework for its responsible integration. Drawing on insights from…

Computers and Society · Computer Science 2026-02-24 Xiaoming Zhai , Kent Crippen

Artificial intelligence models encounter significant challenges due to their black-box nature, particularly in safety-critical domains such as healthcare, finance, and autonomous vehicles. Explainable Artificial Intelligence (XAI) addresses…

Artificial Intelligence · Computer Science 2025-03-14 Melkamu Mersha , Khang Lam , Joseph Wood , Ali AlShami , Jugal Kalita

Ensuring transparency and trust in AI-driven public health and biomedical sciences systems requires more than accurate predictions-it demands explanations that are clear, contextual, and socially accountable. While explainable AI (XAI) has…

Artificial Intelligence · Computer Science 2025-07-30 Bahar İlgen , Akshat Dubey , Georges Hattab

Over the years, research in system identification has provided a rich set of methods for learning dynamical models, together with well-established theoretical guarantees. In practice, however, the choice of model class, training algorithm,…

Artificial Intelligence · Computer Science 2026-05-12 Dario Piga , Marco Forgione

This survey examines the rapidly evolving field of Deep Research systems -- AI-powered applications that automate complex research workflows through the integration of large language models, advanced information retrieval, and autonomous…

Artificial Intelligence · Computer Science 2025-06-17 Renjun Xu , Jingwen Peng

More recently, Explainable Artificial Intelligence (XAI) research has shifted to focus on a more pragmatic or naturalistic account of understanding, that is, whether the stakeholders understand the explanation. This point is especially…

Human-Computer Interaction · Computer Science 2021-08-05 Janet Hui-wen Hsiao , Hilary Hei Ting Ngai , Luyu Qiu , Yi Yang , Caleb Chen Cao

The field of AI research is advancing at an unprecedented pace, enabling automated hypothesis generation and experimental design across diverse domains such as biology, mathematics, and artificial intelligence. Despite these advancements,…

Machine Learning · Computer Science 2025-10-07 Yaowenqi Liu , Bingxu Meng , Rui Pan , Yuxing Liu , Jerry Huang , Jiaxuan You , Tong Zhang

Modern intelligent systems researchers employ the scientific method: they form hypotheses about system behavior, and then run experiments using one or more independent variables to test their hypotheses. We present SIERRA, a novel framework…

Robotics · Computer Science 2022-03-10 John Harwell , London Lowmanstone , Maria Gini

We introduce PASTA (Perceptual Assessment System for explanaTion of Artificial Intelligence), a novel human-centric framework for evaluating eXplainable AI (XAI) techniques in computer vision. Our first contribution is the creation of the…

Recent developments in Generative Artificial Intelligence (GenAI) have created significant uncertainty in education, particularly in terms of assessment practices. Against this backdrop, we present an updated version of the AI Assessment…

Computers and Society · Computer Science 2025-10-01 Mike Perkins , Jasper Roe , Leon Furze

Collaboration literacy requires adapting to the evolving demands of group work within complex discussions, making it difficult to develop and assess. Traditional analytics metrics capture behavioral signals while missing the semantic…

Human-Computer Interaction · Computer Science 2026-05-19 Dawei Xie , Khalil Anderson , Tochukwu Eze , Chenghong Lin , Bookyung Shin , Marcelo Worsley

Artificial intelligence (AI) and Machine Learning (ML) have moved from research and pilot projects into everyday business operations, with generative AI accelerating adoption across processes, products, and services. This paper introduces…

Computers and Society · Computer Science 2026-02-17 Stephan Sandfuchs , Diako Farooghi , Janis Mohr , Sarah Grewe , Markus Lemmen , Jörg Frochte

We present pAI/MSc, an open-source, customizable, modular multi-agent system for academic research workflows. Our goal is not autonomous scientific ideation, nor fully automated research. It is narrower and more practical: to reduce by…

Artificial Intelligence · Computer Science 2026-04-23 Mahmoud Abdelmoneum , Pierfrancesco Beneventano , Tomaso Poggio

Artificial intelligence (AI) is reshaping scientific discovery, evolving from specialized computational tools into autonomous research partners. We position Agentic Science as a pivotal stage within the broader AI for Science paradigm,…