English
Related papers

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

200 papers

Recent efforts have aimed to improve AI machines in legal case matching by integrating legal domain knowledge. However, successful legal case matching requires the tacit knowledge of legal practitioners, which is difficult to verbalize and…

Human-Computer Interaction · Computer Science 2024-05-17 Chen Huang , Xinwei Yang , Yang Deng , Wenqiang Lei , JianCheng Lv , Tat-Seng Chua

Research exploring how to support decision-making has often used machine learning to automate or assist human decisions. We take an alternative approach for improving decision-making, using machine learning to help stakeholders surface ways…

Human-Computer Interaction · Computer Science 2023-02-24 Angie Zhang , Olympia Walker , Kaci Nguyen , Jiajun Dai , Anqing Chen , Min Kyung Lee

This empirical study serves as a primer for interested service providers to determine if and how Large Language Models (LLMs) technology will be integrated for their practitioners and the broader community. We investigate the mutual…

Human-Computer Interaction · Computer Science 2023-12-01 Qingxiao Zheng , Zhongwei Xu , Abhinav Choudhry , Yuting Chen , Yongming Li , Yun Huang

AI models like GPT-5 are an increasingly valuable tool for scientists, but many remain unaware of the capabilities of frontier AI. We present a collection of short case studies in which GPT-5 produced new, concrete steps in ongoing research…

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

Artificial Intelligence · Computer Science 2026-01-06 Bin Xu

As many of us in the information retrieval (IR) research community know and appreciate, search is far from being a solved problem. Millions of people struggle with tasks on search engines every day. Often, their struggles relate to the…

Information Retrieval · Computer Science 2024-04-04 Ryen W. White

As Augmented Reality (AR) and Artificial Intelligence (AI) continue to converge, new opportunities emerge for AI agents to actively support human collaboration in immersive environments. While prior research has primarily focused on dyadic…

Human-Computer Interaction · Computer Science 2025-03-14 Mariana Fernandez-Espinosa , Diego Gomez-Zara

Agentic AI is rapidly advancing in healthcare and biomedical research. However, in medical image analysis, their performance and adoption remain limited due to the lack of a robust ecosystem, insufficient toolsets, and the absence of…

Computer Vision and Pattern Recognition · Computer Science 2025-09-25 Songhao Li , Jonathan Xu , Tiancheng Bao , Yuxuan Liu , Yuchen Liu , Yihang Liu , Lilin Wang , Wenhui Lei , Sheng Wang , Yinuo Xu , Yan Cui , Jialu Yao , Shunsuke Koga , Zhi Huang

Poorly formulated research problems can compromise the practical relevance of Software Engineering studies by not reflecting the complexities of industrial practice. This vision paper explores the use of artificial intelligence agents to…

Software Engineering · Computer Science 2025-12-16 Anrafel Fernandes Pereira , Maria Teresa Baldassarre , Daniel Mendez , Marcos Kalinowski

We consider learning mathematics through action research, hacking, discovery, inquiry, learning-by-doing as opposed to the instruct and perform, industrial model of the 19th century. A learning model based on self-awareness, types,…

Computers and Society · Computer Science 2025-11-17 Ian Benson , Alexei Semenov

The powerful reasoning capabilities of Large Language Models (LLMs) in mathematics and coding, combined with their ability to automate complex tasks through agentic frameworks, present unprecedented opportunities for accelerating scientific…

Artificial Intelligence · Computer Science 2025-05-27 Jiabin Tang , Lianghao Xia , Zhonghang Li , Chao Huang

Cognitive presence and social presence are crucial for a comprehensive learning experience. Despite the flexibility of asynchronous learning environments to accommodate individual schedules, the inherent constraints of asynchronous…

Human-Computer Interaction · Computer Science 2024-10-08 Tianjia Wang , Tong Wu , Huayi Liu , Chris Brown , Yan Chen

This paper details two novel frameworks for developing autonomous, agentic AI in scientific workflows. Both systems leverage a hybrid Local Body, Remote Brain architecture via Google Colab, utilizing Python-based local orchestrators to…

Artificial Intelligence · Computer Science 2026-05-27 Judy Fox , Geoffrey Fox

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

While the advancement of large language models has spurred the development of AI agents to automate tasks, numerous use cases inherently require agents to collaborate with humans due to humans' latent preferences, domain expertise, or the…

Artificial Intelligence · Computer Science 2025-12-09 Yijia Shao , Vinay Samuel , Yucheng Jiang , John Yang , Diyi Yang

Integration of artificial intelligent (AI) agents in higher education is transforming teaching, learning and administrative processes. Although existing AI agents effectively support individual tasks, their implementation remains fragmented…

Artificial Intelligence · Computer Science 2026-05-15 Vidya K Sudarshan , Anushka Sisodia , Reshma A Ramachandra , Sia Batra , Josephine Chong Leng Leng

We introduce the concept of "Design Agents" for engineering applications, particularly focusing on the automotive design process, while emphasizing that our approach can be readily extended to other engineering and design domains. Our…

Artificial Intelligence · Computer Science 2025-12-04 Mohamed Elrefaie , Janet Qian , Raina Wu , Qian Chen , Angela Dai , Faez Ahmed

Can AI make progress on important, unsolved mathematical problems? Large language models are now capable of sophisticated mathematical and scientific reasoning, but whether they can perform novel research is still widely debated and…

We propose CoLyricist, an AI-assisted lyric writing tool designed to support the typical workflows of experienced lyricists and enhance their creative efficiency. While lyricists have unique processes, many follow common stages. Tools that…

Human-Computer Interaction · Computer Science 2026-02-27 Masahiro Yoshida , Bingxuan Li , Songyan Zhao , Qinyi Zhou , Shiwei Hu , Xiang Anthony Chen , Nanyun Peng
‹ Prev 1 3 4 5 6 7 10 Next ›