English
Related papers

Related papers: AI co-mathematician: Accelerating mathematicians w…

200 papers

The rapid rise of autonomous AI systems and advancements in agent capabilities are introducing new risks due to reduced oversight of real-world interactions. Yet agent testing remains nascent and is still a developing science. As AI agents…

A large body of research demonstrates how teachers' questioning strategies can improve student learning outcomes. However, developing new scenarios is challenging because of the lack of training data for a specific scenario and the costs…

Artificial Intelligence · Computer Science 2021-12-03 Debajyoti Datta , Maria Phillips , James P Bywater , Jennifer Chiu , Ginger S. Watson , Laura E. Barnes , Donald E Brown

About 32% of a software practitioners' day involves seeking and using information to support task completion. Although the information needs of software practitioners have been studied extensively, the impact of AI-assisted tools on their…

Software Engineering · Computer Science 2025-04-28 Ebtesam Al Haque , Chris Brown , Thomas D. LaToza , Brittany Johnson

Large Language Models (LLMs) are now widely used in astrophysics, but do they actually make our lives easier, or do they merely invent new physics with enough confidence to hide a minus sign? In a specialized field where checking fluent…

Instrumentation and Methods for Astrophysics · Physics 2026-04-01 Chun Huang

AI tools are being deployed over MBSE models today, and those models were not designed for this kind of consumption. The problem is not simply that tools hallucinate: well-prompted frontier models produce competent, useful output over a…

Software Engineering · Computer Science 2026-04-29 Siyuan Ji

The challenges of solving complex university-level mathematics problems, particularly those from MIT, and Columbia University courses, and selected tasks from the MATH dataset, remain a significant obstacle in the field of artificial…

Computation and Language · Computer Science 2025-09-23 Eishkaran Singh , Tanav Singh Bajaj , Siddharth Nayak

Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians' search behavior. With this understanding we…

Human-Computer Interaction · Computer Science 2014-05-16 Andrea Kohlhase

AI agentic programming is an emerging paradigm where large language model (LLM)-based coding agents autonomously plan, execute, and interact with tools such as compilers, debuggers, and version control systems. Unlike conventional code…

Software Engineering · Computer Science 2025-09-16 Huanting Wang , Jingzhi Gong , Huawei Zhang , Jie Xu , Zheng Wang

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.…

The Science Consultant Agent is a web-based Artificial Intelligence (AI) tool that helps practitioners select and implement the most effective modeling strategy for AI-based solutions. It operates through four core components:…

Artificial Intelligence · Computer Science 2025-12-19 Karthikeyan K , Philip Wu , Xin Tang , Alexandre Alves

Machine learning has been applied to a number of creative, design-oriented tasks. However, it remains unclear how to best empower human users with these machine learning approaches, particularly those users without technical expertise. In…

Human-Computer Interaction · Computer Science 2019-03-26 Matthew Guzdial , Mark Riedl

Many challenges remain before AI agents can be deployed in real-world environments. However, one virtue of such environments is that they are inherently multi-agent and contain human experts. Using advanced social intelligence in such an…

Machine Learning · Computer Science 2025-08-22 Eric Ye , Ren Tao , Natasha Jaques

AI agents -- systems that execute multi-step reasoning workflows with persistent state, tool access, and specialist skills -- represent a qualitative shift from prior automation technologies in social science. Unlike chatbots that respond…

Artificial Intelligence · Computer Science 2026-03-10 Yongjun Zhang

As artificial intelligence becomes increasingly integrated into professional and personal domains, traditional metrics of human intelligence require reconceptualization. This paper introduces the Artificial Intelligence Quotient (AIQ), a…

Human-Computer Interaction · Computer Science 2025-03-24 Venkat Ram Reddy Ganuthula , Krishna Kumar Balaraman

This review critically distinguishes between AI Agents and Agentic AI, offering a structured, conceptual taxonomy, application mapping, and analysis of opportunities and challenges to clarify their divergent design philosophies and…

Artificial Intelligence · Computer Science 2025-10-01 Ranjan Sapkota , Konstantinos I. Roumeliotis , Manoj Karkee

Generative, ML-driven interactive systems have the potential to change how people interact with computers in creative processes - turning tools into co-creators. However, it is still unclear how we might achieve effective human-AI…

Human-Computer Interaction · Computer Science 2022-07-08 Frederic Gmeiner , Kenneth Holstein , Nikolas Martelaro

AI is reshaping the landscape of multimedia forensics. We propose AI forensic agents: reliable orchestrators that select and combine forensic detectors, identify provenance and context, and provide uncertainty-aware assessments. We…

Multiagent Systems · Computer Science 2025-12-19 Giulia Boato , Andrea Montibeller , Edward Delp , Luisa Verdoliva , Daniele Miorandi

With the rapid advancement of Large Language Models (LLMs) and Artificial Intelligence (AI) agents, agentic workflows are showing transformative potential in education. This study introduces the Agentic Workflow for Education (AWE), a…

Computers and Society · Computer Science 2025-09-03 Yuan-Hao Jiang , Yijie Lu , Ling Dai , Jiatong Wang , Ruijia Li , Bo Jiang

Developers now have access to a growing array of increasingly autonomous AI tools for software development. While many studies examine copilots that provide chat assistance or code completions, evaluations of coding agents -- which can…

Software Engineering · Computer Science 2025-09-16 Valerie Chen , Ameet Talwalkar , Robert Brennan , Graham Neubig

Mathematical modelling (MM) is a key competency for solving complex real-world problems, yet many students struggle with abstraction, representation, and iterative reasoning. Artificial intelligence (AI) has been proposed as a support for…

Human-Computer Interaction · Computer Science 2025-10-09 Wangda Zhu , Guang Chen , Yumeng Zhu , Lei Cai , Xiangen Hu
‹ Prev 1 8 9 10 Next ›