# LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

> Research article (Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023) · cited 38× · AI/ML

**Wikidata**: [openalex:W4389518758](https://www.wikidata.org/wiki/openalex:W4389518758)  
**Source**: https://4ort.xyz/entity/linc-a-neurosymbolic-approach-for-logical-reasoning-by-combining-language-models-with-first-order-logic-provers