TY  - RPRT
TI  - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
AU  - Theo X. Olausson
AU  - Alex Gu
AU  - Benjamin Lipkin
AU  - Cedegao E. Zhang
AU  - Armando Solar-Lezama
AU  - Joshua B. Tenenbaum
AU  - Roger Levy
PY  - 2024
DO  - 10.18653/v1/2023.emnlp-main.313
UR  - https://arxiv.org/abs/2310.15164
ID  - 2310.15164
ER  -