@misc{indiciae6924091866a8,
  title = {Autoformalization of Game Descriptions using Large Language Models},
  author = {Agnieszka Mensfelt and Kostas Stathis and Vince Trencsenyi},
  year = {2024},
  url = {https://arxiv.org/abs/2409.12300},
  note = {Source identifier: 2409.12300}
}