@article{matlasasemanticsearchengineformathematic,
  title = {Matlas: A Semantic Search Engine for Mathematics},
  author = {Haocheng Ju and Leheng Chen and Peihao Wu and Bryan Dai and Bin Dong},
  year = {2026},
  eprint = {2604.17484},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.17484},
}