English
Related papers

Related papers: Gen AI in Proof-based Math Courses: A Pilot Study

200 papers

The rapid proliferation of generative artificial intelligence (AI) tools - especially large language models (LLMs) such as ChatGPT - has ushered in a transformative era in higher education. Universities in developed regions are increasingly…

Human-Computer Interaction · Computer Science 2025-06-30 Russell Beale

The recent surge in generative AI technologies, such as large language models and diffusion models, has boosted the development of AI applications in various domains, including science, finance, and education. Concurrently, adaptive…

Computers and Society · Computer Science 2024-07-02 Hang Li , Tianlong Xu , Chaoli Zhang , Eason Chen , Jing Liang , Xing Fan , Haoyang Li , Jiliang Tang , Qingsong Wen

This paper surveys the use of Generative AI tools, such as ChatGPT and Claude, in computer science education, focusing on key aspects of accuracy, authenticity, and assessment. Through a literature review, we highlight both the challenges…

Computers and Society · Computer Science 2025-07-17 Iman Reihanian , Yunfei Hou , Yu Chen , Yifei Zheng

This research introduces an innovative mathematical learning approach that integrates generative AI to cultivate a structured learning rather than quick solution. Our method combines chatbot capabilities and generative AI to offer…

Computers and Society · Computer Science 2024-07-23 Aditi Singh , Abul Ehtesham , Saket Kumar , Gaurav Kumar Gupta , Tala Talaei Khoei

The increasing use of digital teaching and emerging technologies, particularly AI-based tools, such as ChatGPT, is presenting an inevitable and significant impact on higher education. The capability of processing and generating text could…

As generative AI (Gen-AI) tools become more prevalent in education, there is a growing need to understand how educators, not just students, can actively shape their design and use. This study investigates how two instructors integrated four…

Human-Computer Interaction · Computer Science 2025-07-30 Qian Huang , Thijs Willems

Ongoing advancements in Generative AI (GenAI) have boosted the potential of applying long-standing learning-by-teaching practices in the form of a teachable agent (TA). Despite the recognized roles and opportunities of TAs, less is known…

Computers and Society · Computer Science 2024-09-12 Yukyeong Song , Jinhee Kim , Zifeng Liu , Chenglu Li , Wanli Xing

While proof is a central component of postsecondary mathematical study, proof construction has historically posed significant difficulties for students who intend to earn mathematics degrees at the undergraduate level. This work is…

History and Overview · Mathematics 2023-03-01 Bolanle Salaam

This review examines the role of artificial intelligence (AI) agents in programming education, focusing on how these tools are being integrated into educational practice and their impact on student learning outcomes. An analysis of…

Human-Computer Interaction · Computer Science 2026-01-16 Said Elnaffar , Farzad Rashidi , Abedallah Zaid Abualkishik

The use of generative artificial intelligence (GenAI) in academia is a subjective and hotly debated topic. Currently, there are no agreed guidelines towards the usage of GenAI systems in higher education (HE) and, thus, it is still unclear…

Information Retrieval · Computer Science 2024-06-17 Bayode Ogunleye , Kudirat Ibilola Zakariyyah , Oluwaseun Ajao , Olakunle Olayinka , Hemlata Sharma

Generative AI systems have entered everyday academic, professional, and personal life with remarkable speed, yet most users encounter them as mysterious artifacts rather than intelligible systems. This chapter discusses large language…

Computers and Society · Computer Science 2026-04-21 John T. Behrens

Computer programming is undergoing a true transformation driven by powerful new tools for automatic source code generation based on large language models. This transformation is also manifesting in introductory programming courses at…

Computers and Society · Computer Science 2025-07-02 Clemente Rubio-Manzano , Jazna Meza , Rodolfo Fernandez-Santibanez , Christian Vidal-Castro

We describe our efforts to fully integrate generative artificial intelligence (GAI) into an introductory undergraduate astronomy course. Ordered by student perception of utility, GAI was used in instructional Python notebooks, in a subset…

The widespread adoption of generative AI is already impacting learning and help-seeking. While the benefits of generative AI are well-understood, recent studies have also raised concerns about increased potential for cheating and negative…

Computers and Society · Computer Science 2025-04-15 Irene Hou , Owen Man , Kate Hamilton , Srishty Muthusekaran , Jeffin Johnykutty , Leili Zadeh , Stephen MacNeil

This research paper contributes to the computing education research community's understanding of Generative AI (GenAI) in the context of introductory programming, and specifically, how students utilize related tools, such as ChatGPT. An…

Artificial Intelligence · Computer Science 2024-07-31 Andreas Scholl , Natalie Kiesler

Generative AI is reshaping higher education, yet research has focused largely on students, while instructors remain understudied despite their central role in mediating adoption and modeling responsible use. We present the \textit{AI…

Human-Computer Interaction · Computer Science 2025-09-24 Si Chen , Xiuxiu Tang , Alison Cheng , Nitesh Chawla , G. Alex Ambrose , Ronald Metoyer

Generative AI (GAI) is impacting teaching and learning directly or indirectly across a range of subjects and disciplines. As educators, we need to understand the potential and limitations of AI in HCI education and ensure our graduating HCI…

Human-Computer Interaction · Computer Science 2024-05-09 Ahmed Kharrufa , Ian G Johnson

In this report, we share findings from a nationally representative survey of US public school math and science teachers, examining current generative AI (GenAI) use, perceptions, constraints, and institutional support. We show trends in…

Generative artificial intelligence (GenAI) tools are increasingly present in higher education, yet their adoption has been largely student-driven, requiring instructors to respond to technologies already embedded in classroom practices.…

Computers and Society · Computer Science 2026-03-05 Akila de Silva , Isabel Hyo Jung Song , Hui Yang , Shah Rukh Humayoun

Generative AI tools are increasingly embedded in everyday work and learning, yet their fluency, opacity, and propensity to hallucinate mean that users must critically evaluate AI outputs rather than accept them at face value. The present…

Artificial Intelligence · Computer Science 2026-05-27 Gabriel R. Lau , Wei Yan Low , Louis Tay , Ysabel Guevarra , Dragan Gašević , Andree Hartanto