Exploring an LM to generate Prolog Predicates from Mathematics Questions

Xiaocheng Yang, Yik-Cheung Tam

Recently, there has been a surge in interest in NLP driven by ChatGPT. ChatGPT, a transformer-based generative language model of substantial scale, exhibits versatility in performi…