arXiv Machine Learning
Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research
arXiv:2608.29401v1 Announce Type: cross Abstract: As several mathematical conjectures have recently been settled using large language models (LLMs), the mathematical community has formulated norms and...
arXiv Machine Learning