Buchumschlag

Mathematical Entities: Corpora and Benchmarks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Collard, Jacob, de Paiva, Valeria, Subrahmanian, Eswaran
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computation and Language History and Overview
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

EEFSUVA: A New Mathematical Olympiad Benchmark
von: Khatibi, Nicole N, et al.
Veröffentlicht: (2025)

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

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
von: Meadows, Jordan, et al.
Veröffentlicht: (2023)

Stamps and Mathematics
von: Ivanova, Nataliya M.
Veröffentlicht: (2024)

The Folding Mathematics
von: Morye, Archana S.
Veröffentlicht: (2025)

From Euler to AI: Unifying Formulas for Mathematical Constants
von: Raz, Tomer, et al.
Veröffentlicht: (2025)

Teaching Mathematics for Economists
von: Hillebrand, Eric
Veröffentlicht: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
von: Ruggeri, Tommaso, et al.
Veröffentlicht: (2025)

An Episode in The Old Mathematical Intelligencer
von: Lamm, Christoph
Veröffentlicht: (2025)

Fraudulent Publishing in the Mathematical Sciences
von: Agricola, Ilka, et al.
Veröffentlicht: (2025)

AlephZero and Mathematical Experience
von: DeDeo, Simon
Veröffentlicht: (2023)

Mathematics in art, for art and as art
von: Esteban, Maria J.
Veröffentlicht: (2025)

Approximating Mathematical Constants using Minecraft
von: Lynch, Molly, et al.
Veröffentlicht: (2024)

Elements of the Theory of Probability and Mathematical Statistics
von: Chinarova, Lidiia L., et al.
Veröffentlicht: (2024)

From Concrete to Abstract in Indian Mathematics
von: Dasgupta, Jaidev
Veröffentlicht: (2024)

AI for Mathematics: Progress, Challenges, and Prospects
von: Ju, Haocheng, et al.
Veröffentlicht: (2026)

Indigenous Mathematics I. Smoke Telegraphy
von: Ball, Rowena
Veröffentlicht: (2025)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
von: Mangum, Chad R.
Veröffentlicht: (2025)

Mathematics -- an imagined tool for rational cognition
von: Čulina, Boris
Veröffentlicht: (2023)

Using GXWeb for Theorem Proving and Mathematical Modelling
von: Todd, Philip, et al.
Veröffentlicht: (2024)

Mathematics education research must be useful for the classroom
von: Essien, Anthony A., et al.
Veröffentlicht: (2025)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
von: Bottoni, Mattia Luciano, et al.
Veröffentlicht: (2025)

A review of Alfred North Whitehead's "Introduction to Mathematics"
von: Hales, Thomas
Veröffentlicht: (2024)

A Mathematical Model of The Effects of Strike On Nigerian Universities
von: Isere, Abednego Orobosa
Veröffentlicht: (2024)

Report on the 63rd Annual International Mathematical Olympiad
von: Bajnok, Béla
Veröffentlicht: (2025)

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

Translating scientific Latin texts with artificial intelligence: the works of Euler and contemporaries
von: Bistafa, Sylvio R.
Veröffentlicht: (2023)

Shakespeare, Entropy and Educated Monkeys
von: Kontoyiannis, Ioannis
Veröffentlicht: (2025)

Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
von: Xu, Hongzhang, et al.
Veröffentlicht: (2024)

Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
von: Espín, José Ginés, et al.
Veröffentlicht: (2025)

Waterproof: Educational Software for Learning How to Write Mathematical Proofs
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2022)

A life in Mathematical Analysis: a conversation with Luigi Rodino
von: Nicola, Fabio
Veröffentlicht: (2025)

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
von: Wang, Siyuan, et al.
Veröffentlicht: (2025)

Collaborative Preferences for Learning Mathematics: A Scale Validation Study
von: Kim, Sang Hyun, et al.
Veröffentlicht: (2025)

Mathematics A Missing Factor in Assessing the Antiquity of Vedanga Jyotisa
von: Dasgupta, Jaidev
Veröffentlicht: (2025)

Mathematical Proof Between Generations
von: Bayer, Jonas, et al.
Veröffentlicht: (2022)

Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
von: Fuller, Edgar J.
Veröffentlicht: (2024)

Calculus for the Modern Engineer: Putting the Joy Back in Learning Advanced Mathematics
von: Grizzle, Jessy
Veröffentlicht: (2025)

Andr{é} and Simone Weil: Mathematics, social activism and Indian culture
von: Papadopoulos, Athanase, et al.
Veröffentlicht: (2025)

When Mathematics Meets Painting: Fibonacci Geometry, Cubism and Visual Abstraction
von: Mondal, Shankhadeep, et al.
Veröffentlicht: (2026)