LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Olausson, Theo, Gu, Alex, Lipkin, Ben · Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing · 2023