Questions tagged [program-synthesis]
For questions related to the problem of program synthesis, in the context of artificial intelligence or that use AI techniques (such as genetic programming).
3
questions
1
vote
0
answers
19
views
How to integrate program synthesis into program maintenance and evolution (if it is possible at all) - possible reference request?
Program synthesis is one of the most active research fields today, e.g. works by Microsoft Research https://arxiv.org/abs/2208.05950 and SalesForce Research https://arxiv.org/abs/2203.13474. I ...
- 863
1
vote
0
answers
43
views
Is there anything remotely as successful as backprop, but for training programs, not neural networks?
Backprop is used to train deep neural networks to remarkable success. Deep neural networks, on the other hands, can be seen as as a specific kind of computer function that receives inputs and produces ...
- 395
3
votes
1
answer
248
views
How can I reduce combinatorial explosion in an MCTS-like algorithm for program induction?
I'd like to develop an MCTS-like (Monte Carlo Tree Search) algorithm for program induction, i.e. learning programs from examples.
My initial plan is for nodes to represent programs and for the search ...
- 51