Cover Image

Controlling Equational Reasoning in Large Language Models with Prompt Interventions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Meadows, Jordan, Valentino, Marco, Freitas, Andre
Format:	Preprint
Published:	2023
Subjects:	Computation and Language History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Large Language Models Don't Make Sense of Word Problems. A Scoping Review from a Mathematics Education Perspective
by: Strohmaier, Anselm R., et al.
Published: (2025)

Mathematical Entities: Corpora and Benchmarks
by: Collard, Jacob, et al.
Published: (2024)

Large Language Models for Mathematicians
by: Frieder, Simon, et al.
Published: (2023)

Hermite's letters to Francisco Gomes Teixeira
by: Freitas, Pedro J.
Published: (2025)

Translating scientific Latin texts with artificial intelligence: the works of Euler and contemporaries
by: Bistafa, Sylvio R.
Published: (2023)

EEFSUVA: A New Mathematical Olympiad Benchmark
by: Khatibi, Nicole N, et al.
Published: (2025)

Shakespeare, Entropy and Educated Monkeys
by: Kontoyiannis, Ioannis
Published: (2025)

How to Solve Diophantine Equations
by: Sochi, Taha
Published: (2024)

Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)

Sur la Resolution des Equations de Troisime et Quatrieme Degre
by: Cauli, Alessandra
Published: (2023)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
by: Mangum, Chad R.
Published: (2025)

A non-circular concept of number inspired by Gottlob Frege's definition
by: Spohn, Marco Aurélio
Published: (2024)

From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
by: Chen, Nuo, et al.
Published: (2023)

Using Large Language Models to Study Mathematical Practice
by: D'Alessandro, William
Published: (2025)

The Significance of Ethnomathematics Learning: A Cross-Cultural Perspectives Between Indonesian and Thailand Educators
by: Wulandari, I Gusti Ayu Putu Arya, et al.
Published: (2024)

Using GXWeb for Theorem Proving and Mathematical Modelling
by: Todd, Philip, et al.
Published: (2024)

A Mathematical Model of The Effects of Strike On Nigerian Universities
by: Isere, Abednego Orobosa
Published: (2024)

A Basic Overview of Various Stochastic Approaches to Financial Modeling With Examples
by: Cunchala, Aashrit
Published: (2024)

Renovating Calculus through Interdisciplinary Partnerships Using the SUMMIT-P Model
by: Dorée, Suzanne, et al.
Published: (2024)

From Euler to AI: Unifying Formulas for Mathematical Constants
by: Raz, Tomer, et al.
Published: (2025)

Score-based Diffusion Models via Stochastic Differential Equations -- a Technical Tutorial
by: Tang, Wenpin, et al.
Published: (2024)

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
by: Serrano, Felix De la Cruz
Published: (2026)

Waterproof Editor: an educational environment for proof assistants and programming languages
by: Otte, Pim, et al.
Published: (2026)

Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
by: Riegel, Kaitlin, et al.
Published: (2025)

Growing Mathlib: maintenance of a large scale mathematical library
by: Baanen, Anne, et al.
Published: (2025)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
by: Wang, Ke, et al.
Published: (2024)

Using Large Language Models as a Co-Author in Undergraduate Quantum Group Research
by: Kuan, Jeffrey
Published: (2026)

Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions
by: Ghatasheh, Ahmed
Published: (2023)

A simple proof for generalized Fibonacci numbers with dying rabbits
by: De Prisco, Roberto
Published: (2023)

Symmetry Classification and Enumeration of Square-Tile Sikku Kolams
by: Gopalan, Venkatraman
Published: (2023)

Two Binary trees of Rational numbers -- the S-tree and the SC-tree
by: Wang, Ziting, et al.
Published: (2023)

Strategy flexibility in university mathematics
by: Hästö, Peter, et al.
Published: (2023)

On the geometry and topology of Da Vinci domes
by: Geyssel, Nicolé, et al.
Published: (2023)

Reflective Groupwork for Introductory Proof-Writing Courses
by: Pi, Jennifer, et al.
Published: (2023)

Reformulating $ε$-$δ$ Limits in a Pedagogically Cleaner Way
by: Chang, Joel Q. L.
Published: (2023)

Sur l'article On some ideals of differentiable functions
by: Teissier, Bernard
Published: (2023)

Overview of fractional calculus and its computer implementation in Wolfram Mathematica
by: Marichev, O. I., et al.
Published: (2023)

Irracionalidade recíproca
by: Isneri, Renan Jackson Soares, et al.
Published: (2023)

The Temporal Continuum
by: Ardeshir, Mohammad, et al.
Published: (2023)