🧑🔬 Theo X. Olausson — papers of 2023 — Elamur Research1 paper · all years of Theo X. OlaussonLINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/theo-x-olausson/year/2023/