ResearchAlpha Leak

Conferences Topics Top Authors Rankings Browse All

Home/Authors/Armando Solar-Lezama

Armando Solar-Lezama

Topic trends: 32,543 papers · similarity ≥ 0.4 · year ≥ 2024 · Data sourced from Semantic Scholar

34,598 papers | Abstracts: 31,650 (91.5%) | Citations: 34,598 (100.0%) | arXiv: 26,074 (75.4%)

Built: Feb 15, 2026, 3:09 AM AMS

11

papers

1,789

total citations

papers (11)

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution

Is Self-Repair a Silver Bullet for Code Generation?

Learning Compositional Rules via Neural Program Synthesis

NEURIPS 2020arXiv

JoinABLe: Learning Bottom-Up Assembly of Parametric CAD Joints

Neurosymbolic Transformers for Multi-Agent Communication

NEURIPS 2020arXiv

Program Synthesis with Pragmatic Communication

NEURIPS 2020arXiv

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

NEURIPS 2021arXiv

MimeQA: Towards Socially-Intelligent Nonverbal Foundation Models

NEURIPS 2025arXiv

VLMaterial: Procedural Material Generation with Large Vision-Language Models

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions