English
Related papers

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

200 papers

The integration of Artificial Intelligence (AI) into clinical workflows requires robust collaborative platforms that are able to bridge the gap between technical innovation and practical healthcare applications. This paper introduces MAIA…

Artificial Intelligence · Computer Science 2025-07-29 Simone Bendazzoli , Sanna Persson , Mehdi Astaraki , Sebastian Pettersson , Vitali Grozman , Rodrigo Moreno

Scientific experimentation, a cornerstone of human progress, demands rigor in reliability, methodical control, and interpretability to yield meaningful results. Despite the growing capabilities of large language models (LLMs) in automating…

Despite the growing adoption of large language models (LLMs) in academic workflows, their capabilities remain limited in supporting high-quality scientific writing. Most existing systems are designed for general-purpose scientific text…

Computation and Language · Computer Science 2026-04-24 Nuo Chen , Andre Lin HuiKai , Jiaying Wu , Junyi Hou , Zining Zhang , Qian Wang , Xidong Wang , Bingsheng He

With the advances in artificial intelligence (AI), data-driven algorithms are becoming increasingly popular in the medical domain. However, due to the nonlinear and complex behavior of many of these algorithms, decision-making by such…

Quantitative Methods · Quantitative Biology 2024-07-18 Amirehsan Ghasemi , Soheil Hashtarkhani , David L Schwartz , Arash Shaban-Nejad

Existing research has identified three structural performance bottlenecks in AI research agents: (1) synchronous single-GPU execution constrains sample throughput, limiting the benefit of search; (2) a generalization gap where…

Effective attribution of Advanced Persistent Threats (APTs) increasingly hinges on the ability to correlate behavioral patterns and reason over complex, varied threat intelligence artifacts. We present AURA (Attribution Using…

Cryptography and Security · Computer Science 2025-06-13 Nanda Rani , Sandeep Kumar Shukla

Large language models (LLMs) have demonstrated technical accuracy in high-risk domains, such as mental health support and special education. However, they often fail to meet the nuanced behavioral expectations of domain experts. This gap…

Human-Computer Interaction · Computer Science 2025-09-24 Boning Zhao , Yutong Hu , Xinnuo Li

Modern scientific discovery increasingly requires coordinating distributed facilities and heterogeneous resources, forcing researchers to act as manual workflow coordinators rather than scientists. Advances in AI leading to AI agents show…

Artificial Intelligence · Computer Science 2025-09-15 Woong Shin , Renan Souza , Daniel Rosendo , Frédéric Suter , Feiyi Wang , Prasanna Balaprakash , Rafael Ferreira da Silva

Scientific progress in Earth science depends on integrating data across the planet's interconnected spheres. However, the accelerating volume and fragmentation of multi-sphere knowledge and data have surpassed human analytical capacity.…

Training data attribution (TDA) for music generation must answer two questions that copyright analysis requires, namely which training songs influence a generated output and along which musical aspects the influence operates. Existing…

Sound · Computer Science 2026-05-18 Changheon Han , Ashkan Panahi , Kıvanç Tatar

Recent advancements in artificial intelligence (AI), particularly in large language models (LLMs) such as OpenAI-o1 and DeepSeek-R1, have demonstrated remarkable capabilities in complex domains such as logical reasoning and experimental…

Explainable AI (XAI) has established itself as an important component of AI-driven interactive systems. With Augmented Reality (AR) becoming more integrated in daily lives, the role of XAI also becomes essential in AR because end-users will…

As artificial intelligence (AI) systems approach and surpass expert human performance across a broad range of tasks, obtaining high-quality human supervision for evaluation and training becomes increasingly challenging. Our focus is on…

Machine Learning · Computer Science 2026-02-25 Ren Yin , Takashi Ishida , Masashi Sugiyama

AI-for-Science (AI4Science) is increasingly transforming scientific discovery by embedding machine learning models into prediction, simulation, and hypothesis generation workflows across domains. However, the effectiveness of these models…

Artificial Intelligence · Computer Science 2026-05-29 Dianyu Liu , Chuan Qin , Xi Chen , Xiaohan Li , Wenxi Xu , Yuyang Wang , Xin Chen , Yuanchun Zhou , Hengshu Zhu

The critical need for transparent and trustworthy machine learning in cybersecurity operations drives the development of this integrated Explainable AI (XAI) framework. Our methodology addresses three fundamental challenges in deploying AI…

Cryptography and Security · Computer Science 2026-02-24 Norrakith Srisumrith , Sunantha Sodsee

We introduce a new algorithm for approximation by rational functions on a real or complex set of points, implementable in 40 lines of Matlab and requiring no user input parameters. Even on a disk or interval the algorithm may outperform…

Numerical Analysis · Mathematics 2019-08-26 Yuji Nakatsukasa , Olivier Sète , Lloyd N. Trefethen

As AI promises to accelerate scientific discovery, it remains unclear whether fully AI-driven research is possible and whether it can adhere to key scientific values, such as transparency, traceability and verifiability. Mimicking human…

Other Quantitative Biology · Quantitative Biology 2024-04-30 Tal Ifargan , Lukas Hafner , Maor Kern , Ori Alcalay , Roy Kishony

Public attention towards explainability of artificial intelligence (AI) systems has been rising in recent years to offer methodologies for human oversight. This has translated into the proliferation of research outputs, such as from…

Computers and Society · Computer Science 2023-04-25 Luca Nannini , Agathe Balayn , Adam Leon Smith

Scientific discovery increasingly entails long-horizon exploration of complex hypothesis spaces, yet most existing approaches emphasize final performance while offering limited insight into how scientific exploration unfolds over time,…

Can AI autonomously design mechanisms for computer systems on par with the creativity and reasoning of human experts? We present Glia, an AI architecture for networked systems design that uses large language models (LLMs) in a…