Questions tagged [inductive-programming]

For questions about inductive programming, which are techniques that attempt to learn programs from examples or constraints.

Filter by
Sorted by
Tagged with
2
votes
1answer
137 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 ...
5
votes
3answers
384 views

Does an AI exist that can write software based on a formal specification?

Does an AI exist that can automatically write software based on a formal specification of the software?
7
votes
2answers
282 views

Why is creating an AI that can code a hard task?

For people who have experience in the field, why is creating AI that has the ability to write programs (that are syntactically correct and useful) a hard task? What are the barriers/problems we have ...