@article{exploringanlmtogenerateprologpredicates,
  title = {Exploring an LM to generate Prolog Predicates from Mathematics Questions},
  author = {Xiaocheng Yang and Yik-Cheung Tam},
  year = {2023},
  eprint = {2309.03667},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.03667v2},
}