( en | de | ru )

 

Disambiguation of "Solar-Lezama, Armando"

Author of the publication

copydeleteadd this publication to your clipboard
Euler: A System for Numerical Optimization of Programs.

, and . CAV, volume 7358 of Lecture Notes in Computer Science, page 732-737. Springer, (2012)

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)Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types., , , and . CoRR, (2015)Introduction to the Special Issue on PPoPP 2017 (Part 2)., , , and . ACM Trans. Parallel Comput., 7 (3): 14:1-14:2 (2020)Human Evaluation of Text-to-Image Models on a Multi-Task Benchmark., , , , , , , , , and 4 other author(s). CoRR, (2022)Neurosymbolic Programming., , , , , and . Found. Trends Program. Lang., 7 (3): 158-243 (2021)Verifiably safe exploration for end-to-end reinforcement learning., , , , , and . HSCC, page 14:1-14:11. ACM, (2021)A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level., , , , , , , , , and 14 other author(s). AAAI, page 15921-15929. AAAI Press, (2023)