@misc{indiciaede19ad3df188,
  title = {Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research},
  author = {Axel Boldt},
  year = {2026},
  url = {https://arxiv.org/abs/2608.29401},
  note = {Source identifier: 2608.29401}
}