emnlp-main.313
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Olausson, Theo Gu, Alex Lipkin, Ben Zhang, Cedegao Solar-Lezama, Arm o Tenenbaum, Joshua Levy, Roger