@article{towardsacommonframeworkforautoformalizat,
  title = {Towards a Common Framework for Autoformalization},
  author = {Agnieszka Mensfelt and David Tena Cucala and Santiago Franco and Angeliki Koutsoukou-Argyraki and Vince Trencsenyi and Kostas Stathis},
  year = {2025},
  eprint = {2509.09810},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2509.09810},
}