paper-with-me

Papers

Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study

2025-09-15 · Benjamin J. Walker, Nikoleta Kalaydzhieva, Beatriz Navarro Lameda, Ruth A. Reynolds arxiv

Generative artificial intelligence (GenAI) tools such as OpenAI's ChatGPT are transforming the educational landscape, prompting reconsideration of traditional assessment practices. In parallel, universities are exploring alternatives to in-person, closed-book examinations, raising concerns about academic integrity and pedagogical alignment in uninvigilated settings. This study investigates whether traditional closed-book mathematics examinations retain their pedagogical relevance when hypothetically administered in uninvigilated, open-book settings with GenAI access. Adopting an empirical approach, we generate, transcribe, and blind-mark GenAI submissions to eight undergraduate mathematics examinations at a Russell Group university, spanning the entirety of the first-year curriculum. By combining independent GenAI responses to individual questions, we enable a meaningful evaluation of GenAI performance, both at the level of modules and across the first-year curriculum. We find that GenAI attainment is at the level of a first-class degree, though current performance can vary between modules. Further, we find that GenAI performance is remarkably consistent when viewed across the entire curriculum, significantly more so than that of students in invigilated examinations. Our findings evidence the need for redesigning assessments in mathematics for unsupervised settings, and highlight the potential reduction in pedagogical value of current standards in the era of generative artificial intelligence.

📄 PDF Abstract BibTeX arXiv:2509.13359

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

MathGloss: Building mathematical glossaries from text

2023-11-21 · Lucy Horowitz, Valeria de Paiva

MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and resources already available on the web. MathGloss i…

Math

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

2025-03-25 · Amogh Inamdar, Uzay Macar, Michel Vazirani, Michael Tarnow 외

The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs requires repeated guided practice, but und…

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

2024-07-15 · George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin 외

We present PutnamBench, a new multi-language benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. PutnamBench consists of 1692 hand-constructed formalizations of 640 t…

Automated Theorem Proving

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

2023-02-24 · Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers 외

We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a…

Abstract AlgebraAutomated Theorem ProvingIn-Context LearningRetrieval

Evaluating the Performance of Large Language Models for Spanish Language in Undergraduate Admissions Exams

2023-12-28 · Sabino Miranda, Obdulia Pichardo-Lagunas, Bella Martínez-Seis, Pierre Baldi

This study evaluates the performance of large language models, specifically GPT-3.5 and BARD (supported by Gemini Pro model), in undergraduate admissions exams proposed by the National Polytechnic Institute in Mexico. Th…