LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Theo Olausson author Alex Gu author Ben Lipkin author Cedegao Zhang author Armando Solar-Lezama author Joshua Tenenbaum author Roger Levy author 2023-12 text Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication olausson-etal-2023-linc 10.18653/v1/2023.emnlp-main.313 https://aclanthology.org/2023.emnlp-main.313/ 2023-12 5153 5176