KiaraGrouwstra / synthesis

code-base for my UvA MSc AI thesis on typed neural program synthesis

https://gitlab.com/KiaraGrouwstra/hasktorch/tree/synthesis/synthesis/

Other

5 stars 1 forks source link

readme

Typed Neuro-Symbolic Program Synthesis for the Typed Lambda Calculus

implementation has moved: https://gitlab.com/KiaraGrouwstra/hasktorch/tree/synthesis/synthesis/