arXiv (All)open access
Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research
history and overview, machine learning, 00a35 (primary) 01a65, 01a67 (secondary)
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗Related documents
Record · ID 794194
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.