Armando Solar-Lezama
发表
Joshua B. Tenenbaum,
Mathias Sablé-Meyer,
Kevin Ellis,
2021,
Artifact Digital Object Group.
Osbert Bastani,
Jeevana Priya Inala,
Yecheng Jason Ma,
2021,
ArXiv.
Wojciech Matusik,
Karl D. D. Willis,
Jieliang Luo,
2021,
ACM Transactions on Graphics.
Martin Rinard,
Osbert Bastani,
Yewen Pu,
2021,
NeurIPS.
Cody Roux,
Jeffrey S. Foster,
Armando Solar-Lezama,
2021,
CAV.
Leslie Pack Kaelbling,
Joshua B. Tenenbaum,
Ferran Alet,
2021,
ICML.
Wojciech Matusik,
Pradeep Kumar Jayaraman,
Hang Chu,
2021,
ArXiv.
Sanjit A. Seshia,
Rastislav Bodík,
Vijay A. Saraswat,
2006,
ASPLOS XII.