4 ms·
This post is about one of the most simple and straightforward methods of automatic program synthesis: inductive synthesis based on input-output examples specifi
by coolvision 6y ago
This post is about one of the most simple and straightforward methods of automatic program synthesis: inductive synthesis based on input-output examples specification and brute-force enumerative search.
- beaconstudios 6y agothanks for posting this, I've been meaning to start looking into program synthesis as it'll be useful for a program I'm working on at a later date. What kind of search methods are useful for this? Is it just a case of using hill climbing type searches to get closer to a solution or are there more program-synthesis-specific search techniques?
- coolvision 6y agoHill climbing works in some cases, but not very well. eventually it still goes towards full direct search. One of the interesting approaches, is hierarchical search, where first some smaller subrotines are found, and then they are included as building blocks for more high level complex programs.
- coolvision 6y agoHill climbing works in some cases, but not very well. eventually it still goes towards full direct search. One of the interesting approaches, is hierarchical search, where first some smaller subroutines are found, and then they are included as building blocks for more high level complex programs.
- beaconstudios 6y agoInteresting - is the division of the larger program into smaller subroutines done by the search function or is that something you have to do in the process of specifying the problem?
- diveanon 6y agoWould you mind describing some more advanced methods?
- coolvision 6y agoan alternative approach is to use an SMT solver, finding a valid program that satisfies some constraints (like, program syntax). Also deep learning has been showing promising results. But the most impressive results that I have seen are still implemented a brute force search, for example, winning entry for ARC challenge what implemented this way: https://www.kaggle.com/c/abstraction-and-reasoning-challenge/discussion/154314 https://www.kaggle.com/c/abstraction-and-reasoning-challenge...
- diveanon 6y agoDo you know of anyone who has taken a similar approach to ui design and development?
- coolvision 6y agodo you have some applications in mind? I guess there are some examples: https://components.ai/tachyons-theme/ https://components.ai/tachyons-theme/ https://uizard.io/ https://uizard.io/
- diveanon 6y agoNot in particular, its just an area of research I am interested in. Thanks for sharing :)