Blar i Master theses på forfatter "Bolland, Sondre"
-
Expressing Unknown Instance Relations in Program Synthesis using Neurosymbolic Methods
Bolland, Sondre (Master thesis, 2021-10-04)Program synthesis is the task of automatically constructing a program given a high level specification. An instance of this is Inductive Logic Programming (ILP) were discrete methods are used to construct a logic program ...