@misc{indiciae32c2b4ae01eb,
  title = {A New Approach Towards Autoformalization},
  author = {Nilay Patel and Rahul Saha and Jeffrey Flanigan},
  year = {2024},
  url = {https://arxiv.org/abs/2310.07957},
  note = {Source identifier: 2310.07957}
}