Copertina

Large Language Models for Mathematicians

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Frieder, Simon, Berner, Julius, Petersen, Philipp, Lukasiewicz, Thomas
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Computation and Language Artificial Intelligence Machine Learning History and Overview
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Mathematicians in the age of AI
di: Avigad, Jeremy
Pubblicazione: (2026)

Accessibility for the Working Mathematician
di: Ross, Julius
Pubblicazione: (2025)

Mathematical theory of deep learning
di: Petersen, Philipp, et al.
Pubblicazione: (2024)

A Non-Expert's Introduction to Data Ethics for Mathematicians
di: Porter, Mason A.
Pubblicazione: (2022)

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

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

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

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
di: Meadows, Jordan, et al.
Pubblicazione: (2023)

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

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

Pierre Cartier: A Visionary Mathematician
di: Connes, Alain, et al.
Pubblicazione: (2024)

Galois groups of polynomials and neurosymbolic networks
di: Shaska, Elira, et al.
Pubblicazione: (2025)

If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics
di: Blum-Smith, Ben, et al.
Pubblicazione: (2025)

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

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

Shaping the Future of Mathematics in the Age of AI
di: Commelin, Johan, et al.
Pubblicazione: (2026)

Discovering mathematical concepts through a multi-agent system
di: Aggarwal, Daattavya, et al.
Pubblicazione: (2026)

Mathematical Definition and Systematization of Puzzle Rules
di: Maeda, Itsuki, et al.
Pubblicazione: (2024)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
di: Weatherall, James Owen, et al.
Pubblicazione: (2026)

Is Mathematics Obsolete?
di: Avigad, Jeremy
Pubblicazione: (2025)

Revisiting the Sleeping Beauty problem
di: Piva, Paulo S., et al.
Pubblicazione: (2024)

On the mechanical creation of mathematical concepts
di: G, Asvin
Pubblicazione: (2025)

The Evolution of Rough Sets 1970s-1981
di: Marek, Viktor, et al.
Pubblicazione: (2025)

The Mathematician's Assistant: Integrating AI into Research Practice
di: Henkel, Jonas
Pubblicazione: (2025)

Mathematical Entities: Corpora and Benchmarks
di: Collard, Jacob, et al.
Pubblicazione: (2024)

Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students
di: Vaswani, Namrata, et al.
Pubblicazione: (2024)

Joseph Carter Corbin: Arkansas's "Profound Mathematician''
di: Kass, Jesse Leo
Pubblicazione: (2023)

Can the current trends of AI handle a full course of mathematics?
di: Alsayyad, Mariam, et al.
Pubblicazione: (2025)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
di: Duede, Eamon, et al.
Pubblicazione: (2024)

In between myth and reality: AI for math -- a case study in category theory
di: Diaconescu, Răzvan
Pubblicazione: (2025)

Artificial Intelligence and the Structure of Mathematics
di: Barkeshli, Maissam, et al.
Pubblicazione: (2026)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
di: Hota, Amela, et al.
Pubblicazione: (2024)

Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
di: Müller, Dennis, et al.
Pubblicazione: (2025)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
di: Fang, Ying, et al.
Pubblicazione: (2024)

A Moonshot for AI Oracles in the Sciences
di: Kaiser, Bryan, et al.
Pubblicazione: (2024)

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
di: Davis, Ernest, et al.
Pubblicazione: (2023)

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

Shakespeare, Entropy and Educated Monkeys
di: Kontoyiannis, Ioannis
Pubblicazione: (2025)

Matrix Calculus (for Machine Learning and Beyond)
di: Bright, Paige, et al.
Pubblicazione: (2025)

AlephZero and Mathematical Experience
di: DeDeo, Simon
Pubblicazione: (2023)