Cover Image

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Frieder, Simon, Bayer, Jonas, Looi, Sam, Loader, Jacob, Berner, Julius, Collins, Katherine M., Juhász, András, Ruehle, Fabian, Welleck, Sean, Poesia, Gabriel, Griffiths, Ryan-Rhys, Weller, Adrian, Goyal, Anirudh, Freer, Cameron, Lukasiewicz, Thomas, Gowers, Timothy
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Faster Predictive Coding Networks via Better Initialization
by: Pinchetti, Luca, et al.
Published: (2026)

Döntéstámogatórendszer fejlesztése szerszámcsere-ütemezéshez
by: Juhász, András
Published: (2025)

Leading terms of generalized Plücker formulas
by: Juhász, András P.
Published: (2024)

The Small Stuff of Roman Antiquity
by: Gowers, Emily
Published: (2025)

Stabilization distance bounds from link Floer homology
by: András Juhász, et al.
Published: (2024)

Examples of topologically unknotted tori
by: Juhász, András, et al.
Published: (2023)

Stabilization distance bounds from link Floer homology
by: Juhász, András, et al.
Published: (2018)

Correctness Comparison of ChatGPT-4, Gemini, Claude-3, and Copilot for Spatial Tasks
by: Hochmair, Hartwig H., et al.
Published: (2024)

Correctness Comparison of ChatGPT‐4, Gemini, Claude‐3, and Copilot for Spatial Tasks
by: Hartwig H. Hochmair, et al.
Published: (2024)

ProofCompass: Enhancing Specialized Provers with LLM Guidance
by: Wischermann, Nicolas, et al.
Published: (2025)

Dimension-independent learning rates for high-dimensional classification problems
by: Lerma-Pineda, Andres Felipe, et al.
Published: (2024)

GDC Cohort Copilot: An AI Copilot for Curating Cohorts from the Genomic Data Commons
by: Song, Steven, et al.
Published: (2025)

Improved sampling via learned diffusions
by: Richter, Lorenz, et al.
Published: (2023)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Plücker formulas using equivariant cohomology of coincident root strata
by: Fehér, László M., et al.
Published: (2023)

Polynomiality of the Striling coefficients of $c(\mathrm{Pol}^d(\mathbb{C}^n))$ and Fano schemes
by: Fehér, László M., et al.
Published: (2025)

Quantum Heegaard diagrams and knot Floer Homology
by: Anghel, Cristina Ana-Maria, et al.
Published: (2026)

On Fox's trapezoidal conjecture
by: Azarpendar, Soheil, et al.
Published: (2024)

ImProver 2: Iteratively Self-Improving LMs for Neurosymbolic Proof Optimization
by: Ahuja, Riyaz, et al.
Published: (2026)

New invariants for virtual knots via spanning surfaces
by: Juhász, András, et al.
Published: (2022)

The Token Games: Evaluating Language Model Reasoning with Puzzle Duels
by: Henniger, Simon, et al.
Published: (2026)

Unbounded symbols, heat flow, and Toeplitz operators
by: Looi, Sam
Published: (2026)

A counterexample to the Berger--Coburn conjecture
by: Looi, Sam
Published: (2026)

Positive Berezin liminf does not imply essential positivity for radial Toeplitz operators on Bergman and Fock spaces
by: Looi, Sam
Published: (2026)

AI Tools in Software Development: Developer Perceptions and Usage Patterns
by: Looi, Mark
Published: (2026)

Commercial Banking in Kenya A History from Colonisation to Digital Age.ChristianVelasco, (Abingdon: Routledge, 2024. Pp. 192. ISBN 9781032658605. Hbk £104)
by: Mariusz Lukasiewicz
Published: (2025)

An optimal control perspective on diffusion-based generative modeling
by: Berner, Julius, et al.
Published: (2022)

Proofs of No Intrusion
by: Goyal, Vipul, et al.
Published: (2025)

Floraciones algales nocivas en la costa pacífica de Costa Rica: Toxicología y sus efectos en el ecosistema y salud pública.
by: Enrique Freer
Published: (2003)

The signature and cusp geometry of hyperbolic knots
by: Davies, Alex, et al.
Published: (2021)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Programmatic Representation Learning with Language Models
by: Poesia, Gabriel, et al.
Published: (2025)

What's the Magic Word? A Control Theory of LLM Prompting
by: Bhargava, Aman, et al.
Published: (2023)

Learning Topological Invariance
by: Halverson, James, et al.
Published: (2025)

On classical de Sitter solutions and parametric control
by: Andriot, David, et al.
Published: (2024)

On the Learnability of Knot Invariants: Representation, Predictability, and Neural Similarity
by: Lindsay, Audrey, et al.
Published: (2025)

Metric Flows with Neural Networks
by: Halverson, James, et al.
Published: (2023)

Attractors, Geodesics, and the Geometry of Moduli Spaces
by: Ruehle, Fabian, et al.
Published: (2024)

Estimating trade restrictiveness indices / Hiau Looi Kee, Alessandro Nicita, Marcelo Olarreaga
by: Kee, Hiau Looi
Published: (2006)