( en | de | ru )

 

Disambiguation of "Solar-Lezama, Armando"

Author of the publication

copydeleteadd this publication to your clipboard
Learning to Infer Graphics Programs from Hand-Drawn Images.

, , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Milivoj Solar

Karl-Ludwig Solaro

Natascha Solar

María Leticia Solari

Marcin Solarski

 

Other publications of authors with the same name

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules., and . CoRR, (2016)Euler: A System for Numerical Optimization of Programs., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 732-737. Springer, (2012)Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems., , , , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 137-154. Springer, (2019)Top-Down Synthesis for Library Learning., , , , , , and . Proc. ACM Program. Lang., 7 (POPL): 1182-1213 (January 2023)Neurosymbolic Programming., , , , , and . Found. Trends Program. Lang., 7 (3): 158-243 (2021)Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types., , , and . CoRR, (2015)Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark., , , , , , , , , and 4 other author(s). CoRR, (2022)Verifiably safe exploration for end-to-end reinforcement learning., , , , , and . HSCC, page 14:1-14:11. ACM, (2021)JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joints., , , , , , , , , and 1 other author(s). CoRR, (2021)Introduction to the Special Issue on PPoPP 2017 (Part 2)., , , and . ACM Trans. Parallel Comput., 7 (3): 14:1-14:2 (2020)