@misc{indiciaee41733eb1b67,
  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},
  url = {https://arxiv.org/abs/2604.17484},
  note = {Source identifier: 2604.17484}
}