---
title: "Armando Solar-Lezama — papers"
description: "Armando Solar-Lezama: 3 papers in the Elamur Research library (2023–2024) — our summary of each, its ideas, references and who cites it."
canonical: "https://research.elamur.ai/free/en/authors/armando-solar-lezama/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/armando-solar-lezama/)

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

# Armando Solar-Lezama

3 papers on this site (2023–2024)

- [CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution](https://md.research.elamur.ai/free/en/papers/gu-2024-cruxeval-benchmark-code-reasoning-understanding/) — Alex Gu, Baptiste Rozière, Hugh Leather, et al. · 2024
- [LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code](https://md.research.elamur.ai/free/en/papers/jain-2024-livecodebench-holistic-contamination-free-evaluation/) — Naman Jain, King Han, Alex Gu, et al. · 2024
- [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/) — Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al. · 2023