Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Solar-Lezama, Armando
319  Ergebnisse:
Personensuche X
?
1

Predicting response to a smartphone-based cognitive-behavio..:

Greenberg, Jennifer L. ; Weingarden, Hilary ; Hoeppner, Susanne S....
Journal of Affective Disorders.  355 (2024)  - p. 106-114 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Improved modeling of RNA-binding protein motifs in an inter..:

Gupta, Kavi ; Yang, Chenxi ; McCue, Kayla...
Genome Biology.  25 (2024)  1 - p. , 2024
Link: https://doi.org/10.1186/..
 
?
3

Pure: Evolving Message Passing To Better Leverage Shared Me..:

, In: Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming,
Psota, James ; Solar-Lezama, Armando - p. 133-146 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Top-Down Synthesis for Library Learning:

Bowers, Matthew ; Olausson, Theo X. ; Wong, Lionel...
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1182-1213 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Combining Functional and Automata Synthesis to Discover Cau..:

Das, Ria ; Tenenbaum, Joshua B. ; Solar-Lezama, Armando.
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 1628-1658 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Inductive Program Synthesis Guided by Observational Program..:

Feser, Jack ; Dillig, Işıl ; Solar-Lezama, Armando
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 912-940 , 2023
Link: https://doi.org/10.1145/..
 
?
7

AI learns to write sorting software on its own:

Solar-Lezama, Armando
Nature.  618 (2023)  7964 - p. 240-241 , 2023
Link: https://doi.org/10.1038/..
 
?
8

Interpretable, Verifiable, and Robust Reinforcement Learnin..:

, In: xxAI - Beyond Explainable AI; Lecture Notes in Computer Science,
Bastani, Osbert ; Inala, Jeevana Priya ; Solar-Lezama, Armando - p. 207-228 , 2022
Link: https://doi.org/10.1007/..
 
?
9

JoinABLe: Learning Bottom-up Assembly of Parametric CAD Joi..:

, In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),
Willis, Karl D.D. ; Jayaraman, Pradeep Kumar ; Chu, Hang... - p. 15828-15839 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Optimizing consistency for partially replicated data stores:

, In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Kuraj, Ivan ; Solar-Lezama, Armando ; Polikarpova, Nadia - p. 457-458 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

Synthesizing theories of human language with Bayesian progr..:

Ellis, Kevin ; Albright, Adam ; Solar-Lezama, Armando..
Nature Communications.  13 (2022)  1 - p. , 2022
Link: https://doi.org/10.1038/..
 
?
12

Searching entangled program spaces:

Koppel, James ; Guo, Zheng ; de Vries, Edsko..
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 23-51 , 2022
Link: https://doi.org/10.1145/..
 
?
13

Automatically deriving control-flow graph generators from o..:

Koppel, James ; Kearl, Jackson ; Solar-Lezama, Armando
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 742-771 , 2022
Link: https://doi.org/10.1145/..
 
?
14

Fusion 360 gallery : a dataset and environment for progr..:

Willis, Karl D. D. ; Pu, Yewen ; Luo, Jieliang...
ACM Transactions on Graphics (TOG).  40 (2021)  4 - p. 1-24 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Verifiably safe exploration for end-to-end reinforcement le..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Hunt, Nathan ; Fulton, Nathan ; Magliacane, Sara... - p. 1-11 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15