Lecture Notes in Computer Science, 2007, Volume 4667/2007, 468-472, DOI: 10.1007/978-3-540-74565-5_42

Inductive Synthesis of Recursive Functional Programs
A Comparison of Three Systems

Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmannn and Ute Schmid

View Related Documents

Abstract

One of the most challenging subfields, and a still little researched niche of machine learning, is the inductive synthesis of recursive programs from incomplete specifications, such as examples for the desired input/output behavior [1,2,3,4].

Fulltext Preview

Image of the first page of the fulltext document