Export Citations
1 Results for: Keyword: Abstraction Learning
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,784,777 records)|Limit your search to The ACM Full-Text Collection (765,874 records)
Showing 1 - 1of1 Results
Select All
Top-Down Synthesis for Library Learning
- Matthew Bowers,
- Theo X. Olausson,
- Lionel Wong,
- Gabriel Grand,
- Joshua B. Tenenbaum,
- Kevin Ellis,
- Armando Solar-Lezama
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue POPLArticle No.: 41, Pages 1182–1213https://doi.org/10.1145/3571234This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL). The algorithm builds abstractions directly from ...
