Graph explorer

Armando Solar-Lezama

Armando Solar-Lezama contributes to research discovery and scholarly infrastructure.

24 nodes80 linksoverview previewArmando Solar-Lezama
24 nodes80 links
Armando Solar-Lezama24 visible / 24 total nodes / 80 links
Related contextRelated contextRelated contextCo-authorshipWorks onWorks onCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalAArmando Solar-LezamaResearcherWMeMo: Memory as a Modelpreprint / 2026ARyan Wei Heng QuekResearcherAAlfred Wei Lun LeongResearcherAArun VermaResearcherAAlok PrakashResearcherANancy F. ChenResearcherABryan Kian Hsiang LowResearcherADaniela RusResearcherASanghyuk LeeResearcherTComputation and Language14115 worksTArtificial Intelligence22915 worksTMachine Learning49008 worksWAutomatically Deriving ...preprint / 2022WProbabilistic Verificat...preprint / 2019WCRUXEval: A Benchmark f...preprint / 2024WSearching Entangled Pro...preprint / 2022WDeductive Optimization ...preprint / 2020WVerifiably Safe Explora...preprint / 2020WLiquid Information Flow...preprint / 2020WTop-Down Synthesis for ...preprint / 2023WDreamCoder: Growing gen...preprint / 2020WJoinABLe: Learning Bott...preprint / 2022WComputer-Aided Personal...preprint / 2020
PersonSignal 1016 links

Armando Solar-Lezama

Researcher

Open