English
Related papers

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

200 papers

Despite AI tools becoming more prevalent and applicable to a variety of workplaces, workers consistently report uncertainty about where AI applies, what problems it can help solve, and how it fits into real workflows. In other words, there…

Human-Computer Interaction · Computer Science 2026-04-01 Aakanksha Khandwaha , Edith Law

We present a fully reproducible demonstration of an AI-assisted scientific workflow designed for a broad physics, mathematics, and computer-science readership. The initial project artifact stack was generated from one single user prompt and…

Other Condensed Matter · Physics 2026-03-17 Kin Hung Fung

Artificial intelligence (AI) is reshaping education, scientific training, and materials discovery. In materials science, AI models increasingly support property prediction, experiment prioritization, and hypothesis generation; however, the…

Physics Education · Physics 2026-05-12 Dongming Mei , Katherine Moore , Ben Sayler

Generative artificial intelligence (AI) agents are increasingly embedded in collaborative learning environments, yet their impact on the processes of argumentative knowledge construction remains insufficiently understood. Emerging…

Human-Computer Interaction · Computer Science 2025-12-11 Lixiang Yan , Yueqiao Jin , Linxuan Zhao , Roberto Martinez-Maldonado , Xinyu Li , Xiu Guan , Wenxin Guo , Xibin Han , Dragan Gašević

Users are increasingly being warned to check AI-generated content for correctness. Still, as LLMs (and other generative models) generate more complex output, such as summaries, tables, or code, it becomes harder for the user to audit or…

AI Collaborator, powered by OpenAI's GPT-4, is a groundbreaking tool designed for human-AI collaboration research. Its standout feature is the ability for researchers to create customized AI personas for diverse experimental setups using a…

Human-Computer Interaction · Computer Science 2024-05-20 Mohammad Amin Samadi , Spencer JaQuay , Jing Gu , Nia Nixon

The widespread availability of generative artificial intelligence tools poses new challenges for school mathematics education, particularly regarding the formative role of traditional mathematical tasks. In post-AI educational contexts,…

History and Overview · Mathematics 2026-02-11 Felix De la Cruz Serrano

This paper introduces `Math Battles with AI', an innovative competitive format designed at ITMO University to redefine the role of generative AI in mathematics education. Moving away from a purely defensive stance, the authors propose an AI…

Human-Computer Interaction · Computer Science 2026-03-04 Maria Moskalenko , Alexander Trifanov , Roman Popkov , Arina Tabieva , Maria Smirnova , Konstantin Pravdin , Daniil Bakalin

Most AI systems today are designed to manage tasks and execute predefined steps. This makes them effective for process coordination but limited in their ability to engage in joint problem-solving with humans or contribute new ideas. We…

Human-Computer Interaction · Computer Science 2026-02-03 Kexin Quan , Dina Albassam , Mengke Wu , Zijian Ding , Jessie Chin

In the rapidly evolving field of artificial intelligence, the ability to harness and integrate knowledge across various domains stands as a paramount challenge and opportunity. This study introduces a novel approach to cross-domain…

Our paper introduces a generative, multiagent AI framework designed to overcome the rigidity, limited flexibility and technical barriers of current bibliometric tools. The objective is to enable researchers to perform fully dynamic,…

Digital Libraries · Computer Science 2026-04-29 Adela Bara , Simona-Vasilica Oprea

Modern science is reaching a critical inflection point. Instruments across disciplines, from particle physics and astronomy to genomics and climate modeling, now produce data of such scale, diversity, and interdependence that traditional…

High Energy Physics - Experiment · Physics 2026-03-10 Ke Li , Beijiang Liu , Bruce Mellado , Changzheng Yuan , Zhengde Zhang

Saving, or checkpointing, intermediate results during interactive data exploration can potentially boost user productivity. However, existing studies on this topic are limited, as they primarily rely on small-scale experiments with human…

Human-Computer Interaction · Computer Science 2025-04-03 Hanxi Fang , Supawit Chockchowwat , Hari Sundaram , Yongjoo Park

As artificial intelligence programs have become more powerful, their capacity for problem-solving continues to increase, approaching top-level competitors in many olympiads. Continued development of models and benchmarks is important but…

Software Engineering · Computer Science 2025-03-21 Samuel Ren

Data wrangling tasks such as obtaining and linking data from various sources, transforming data formats, and correcting erroneous records, can constitute up to 80% of typical data engineering work. Despite the rise of machine learning and…

As educational settings increasingly integrate artificial intelligence (AI), understanding how AI tools identify -- and adapt their responses to -- varied educational contexts becomes paramount. This study examines conversational AI's…

Human-Computer Interaction · Computer Science 2025-03-06 Alex Liu , Lief Esbenshade , Min Sun , Shawon Sarkar , Jian He , Victor Tian , Zachary Zhang

AI agents could accelerate scientific discovery by automating hypothesis formation, experiment design, coding, execution, and analysis, yet existing benchmarks probe narrow skills in simplified settings. To address this gap, we introduce…

We focus on the problem of designing an artificial agent (AI), capable of assisting a human user to complete a task. Our goal is to guide human users towards optimal task performance while keeping their cognitive load as low as possible.…

Robotics · Computer Science 2019-11-05 Gilwoo Lee , Christoforos Mavrogiannis , Siddhartha S. Srinivasa

Effective human-AI collaboration for physical task completion has significant potential in both everyday activities and professional domains. AI agents equipped with informative guidance can enhance human performance, but evaluating such…

Computer Vision and Pattern Recognition · Computer Science 2025-07-25 Filippos Bellos , Yayuan Li , Cary Shu , Ruey Day , Jeffrey M. Siskind , Jason J. Corso

AI programming tools enable powerful code generation, and recent prototypes attempt to reduce user effort with proactive AI agents, but their impact on programming workflows remains unexplored. We introduce and evaluate Codellaborator, a…

Human-Computer Interaction · Computer Science 2025-09-09 Kevin Pu , Daniel Lazaro , Ian Arawjo , Haijun Xia , Ziang Xiao , Tovi Grossman , Yan Chen