Login / Signup

Exploring an LM to generate Prolog Predicates from Mathematics Questions.

Xiaocheng YangYik-Cheung Tam
Published in: CoRR (2023)
Keyphrases