@misc{indiciae108d018a4241,
  title = {Exploring an LM to generate Prolog Predicates from Mathematics Questions},
  author = {Xiaocheng Yang and Yik-Cheung Tam},
  year = {2023},
  url = {https://arxiv.org/abs/2309.03667},
  note = {Source identifier: 2309.03667}
}