MIT CSAIL; MIT CSAIL/MIT BCS; MIT BCS
large language models;logical reasoning;neuro-symbolic AI
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers