---
title: "Armando Solar-Lezama — papers of 2023 — Elamur Research"
description: "Armando Solar-Lezama — papers of 2023: 1 paper on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/armando-solar-lezama/year/2023/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/armando-solar-lezama/year/2023/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Armando Solar-Lezama](https://md.research.elamur.ai/free/en/authors/armando-solar-lezama/) / 2023

# Armando Solar-Lezama — papers of 2023 — Elamur Research

1 paper · [all years of Armando Solar-Lezama](https://md.research.elamur.ai/free/en/authors/armando-solar-lezama/#years)

**[LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers](https://md.research.elamur.ai/free/en/papers/olausson-2023-linc-neurosymbolic-approach-logical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.*2023 · 172 citations*