@misc{indiciae417f270bf167,
  title = {Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization},
  author = {Yicheng Tao and Haotian Liu and Shanwen Wang and Hongteng Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2501.13959},
  note = {Source identifier: 2501.13959}
}