Integrating Language Models with Symbolic Formulas for First-Order Logic Reasoning.

Yu Sheng, Linjing Li, Yifei Wang, Daniel Zeng

Browse the full ICASSP paper archive.