2 ms·Exploring an LM to Generate Prolog Predicates from Mathematics Questions5 points by wseqyrku 3y ago