@misc{indiciae0d1a29920364,
  title = {FANS -- Formal Answer Selection for Natural Language Math Reasoning Using Lean4},
  author = {Jiarui Yao and Ruida Wang and Tong Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2503.03238},
  note = {Source identifier: 2503.03238}
}