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
7 votes
2 answers

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 ...
  • 500
3 votes
1 answer

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 ...
6 votes
3 answers

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?
  • 359