Questions tagged [inductive-programming]
For questions about inductive programming, which are techniques that attempt to learn programs from examples or constraints.
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 ...
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 ...
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?