English
Related papers

Related papers: Notes on a Path to AI Assistance in Mathematical R…

200 papers

Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformation is particularly pressing: values, practice, teaching,…

History and Overview · Mathematics 2026-05-11 Johan Commelin , Mateja Jamnik , Rodrigo Ochigame , Lenny Taelman , Akshay Venkatesh

This report summarizes the outcomes of a two-day international scoping workshop on the role of artificial intelligence (AI) in science education research. As AI rapidly reshapes scientific practice, classroom learning, and research methods,…

Mathematical reasoning would be one of the next frontiers for artificial intelligence to make significant progress. The ongoing surge to solve math word problems (MWPs) and hence achieve better mathematical reasoning ability would continue…

Computation and Language · Computer Science 2021-11-11 Keyur Faldu , Amit Sheth , Prashant Kikani , Manas Gaur , Aditi Avasthi

Participatory approaches to artificial intelligence (AI) and machine learning (ML) are gaining momentum: the increased attention comes partly with the view that participation opens the gateway to an inclusive, equitable, robust, responsible…

Computers and Society · Computer Science 2022-09-19 Abeba Birhane , William Isaac , Vinodkumar Prabhakaran , Mark Díaz , Madeleine Clare Elish , Iason Gabriel , Shakir Mohamed

Academic writing process has benefited from various technological developments over the years including search engines, automatic translators, and editing tools that review grammar and spelling mistakes. They have enabled human writers to…

Computers and Society · Computer Science 2023-10-10 Won Ik Cho , Eunjung Cho , Kyunghyun Cho

Artificial Intelligence (AI) is being increasingly deployed in practical applications. However, there is a major concern whether AI systems will be trusted by humans. In order to establish trust in AI systems, there is a need for users to…

Artificial Intelligence · Computer Science 2021-02-16 Quratul-ain Mahesar , Simon Parsons

Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the province of humans. As these tools become…

History and Overview · Mathematics 2026-03-30 Tanya Klowden , Terence Tao

This paper examines the interdisciplinary research question of how to integrate Computational Argumentation, as studied in AI, with Cognition, as can be found in Cognitive Science, Linguistics, and Philosophy. It stems from the work of the…

Artificial Intelligence · Computer Science 2021-11-16 Emmanuelle Dietz , Antonis Kakas , Loizos Michael

Computational argumentation offers formal frameworks for transparent, verifiable reasoning but has traditionally been limited by its reliance on domain-specific information and extensive feature engineering. In contrast, LLMs excel at…

Artificial Intelligence · Computer Science 2026-03-18 Stylianos Loukas Vasileiou , Antonio Rago , Francesca Toni , William Yeoh

With the rapid rise of generative AI in higher education and the unreliability of current AI detection tools, developing policies that encourage student learning and critical thinking has become increasingly important. This study examines…

Artificial Intelligence · Computer Science 2025-09-18 Hannah Klawa , Shraddha Rajpal , Cigole Thomas

This volume includes a selection of papers presented at the Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2025 in Philadelphia US on 3rd March 2025. The purpose of this volume is to provide an open access…

Artificial Intelligence · Computer Science 2025-05-08 Mouad Abrini , Omri Abend , Dina Acklin , Henny Admoni , Gregor Aichinger , Nitay Alon , Zahra Ashktorab , Ashish Atreja , Moises Auron , Alexander Aufreiter , Raghav Awasthi , Soumya Banerjee , Joe M. Barnby , Rhea Basappa , Severin Bergsmann , Djallel Bouneffouf , Patrick Callaghan , Marc Cavazza , Thierry Chaminade , Sonia Chernova , Mohamed Chetouan , Moumita Choudhury , Axel Cleeremans , Jacek B. Cywinski , Fabio Cuzzolin , Hokin Deng , N'yoma Diamond , Camilla Di Pasquasio , Guillaume Dumas , Max van Duijn , Mahapatra Dwarikanath , Qingying Gao , Ashok Goel , Rebecca Goldstein , Matthew Gombolay , Gabriel Enrique Gonzalez , Amar Halilovic , Tobias Halmdienst , Mahimul Islam , Julian Jara-Ettinger , Natalie Kastel , Renana Keydar , Ashish K. Khanna , Mahdi Khoramshahi , JiHyun Kim , MiHyeon Kim , YoungBin Kim , Senka Krivic , Nikita Krasnytskyi , Arun Kumar , JuneHyoung Kwon , Eunju Lee , Shane Lee , Peter R. Lewis , Xue Li , Yijiang Li , Michal Lewandowski , Nathan Lloyd , Matthew B. Luebbers , Dezhi Luo , Haiyun Lyu , Dwarikanath Mahapatra , Kamal Maheshwari , Mallika Mainali , Piyush Mathur , Patrick Mederitsch , Shuwa Miura , Manuel Preston de Miranda , Reuth Mirsky , Shreya Mishra , Nina Moorman , Katelyn Morrison , John Muchovej , Bernhard Nessler , Felix Nessler , Hieu Minh Jord Nguyen , Abby Ortego , Francis A. Papay , Antoine Pasquali , Hamed Rahimi , Charumathi Raghu , Amanda Royka , Stefan Sarkadi , Jaelle Scheuerman , Simon Schmid , Paul Schrater , Anik Sen , Zahra Sheikhbahaee , Ke Shi , Reid Simmons , Nishant Singh , Mason O. Smith , Ramira van der Meulen , Anthia Solaki , Haoran Sun , Viktor Szolga , Matthew E. Taylor , Travis Taylor , Sanne Van Waveren , Juan David Vargas , Rineke Verbrugge , Eitan Wagner , Justin D. Weisz , Ximing Wen , William Yeoh , Wenlong Zhang , Michelle Zhao , Shlomo Zilberstein

Large-enrollment university courses face persistent challenges in providing timely and scalable instructional support. While generative AI holds promise, its effective use depends on reliability and pedagogical alignment. We present a…

Computers and Society · Computer Science 2026-03-31 Jérémy Barghorn , Anna Sotnikova , Sacha Friedli , Antoine Bosselut

Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start reasoning themselves? We give an overview of recent…

Artificial Intelligence · Computer Science 2025-02-13 Kevin Buzzard

A new generation of AI models generates step-by-step reasoning text before producing an answer. This text appears to offer a human-readable window into their computation process, and is increasingly relied upon for transparency and…

Human-Computer Interaction · Computer Science 2025-08-29 Mosh Levy , Zohar Elyoseph , Yoav Goldberg

The main drawback of using generative AI models for advanced mathematics is that these models are not primarily logical reasoning engines. However, Large Language Models, and their refinements, can pick up on patterns in higher mathematics…

History and Overview · Mathematics 2025-12-19 Lisa Carbone

Mathematical reasoning is essential for problem-solving in education, science, and industry, serving as a crucial benchmark for evaluating artificial intelligence systems. As Large Language Models (LLMs) improve their reasoning…

Computation and Language · Computer Science 2026-05-20 Husnain Amjad , Raja Khurram Shahzad , Aamir Shahzad , Mehwish Fatima

In this white paper, we synthesize key points made during presentations and discussions from the AI-Assisted Decision Making for Conservation workshop, hosted by the Center for Research on Computation and Society at Harvard University on…

Analytical reasoning is an essential and challenging task that requires a system to analyze a scenario involving a set of particular circumstances and perform reasoning over it to make conclusions. In this paper, we study the challenge of…

Computation and Language · Computer Science 2021-04-16 Wanjun Zhong , Siyuan Wang , Duyu Tang , Zenan Xu , Daya Guo , Jiahai Wang , Jian Yin , Ming Zhou , Nan Duan

This note presents reflections drawn from my recent experiences in teaching a course on mathematics and sustainability, with a particular emphasis on raising awareness of the topic and its broader implications. The lectures were structured…

History and Overview · Mathematics 2025-10-16 Henrik Shahgholian

The research on and application of artificial intelligence (AI) has triggered a comprehensive scientific, economic, social and political discussion. Here we argue that statistics, as an interdisciplinary scientific field, plays a…