TY  - RPRT
TI  - Exploring an LM to generate Prolog Predicates from Mathematics Questions
AU  - Xiaocheng Yang
AU  - Yik-Cheung Tam
PY  - 2023
UR  - https://arxiv.org/abs/2309.03667
ID  - 2309.03667
ER  -