Questions tagged [inductive-programming]

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 to solve before we can solve this problem? If you…

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

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 to expand nodes by revising programs. Many of…

I am interested in running a simple but hopefully rigorous algorithm which “learns” how to parse HTML - ideally optimally fast. I have never done this before and I’m wondering if there’s a go-to algorithm or library for this. I would prefer to start…