@misc{indiciaeb5b3256e461b,
  title = {Constructing a Neuro-Symbolic Mathematician from First Principles},
  author = {Keqin Xie},
  year = {2025},
  url = {https://arxiv.org/abs/2601.00125},
  note = {Source identifier: 2601.00125}
}