Tilman Hinnerichs
I am a PhD student for Computer Science within the PONY lab with Sebastijan Dumancic and Neil Yorke-Smith, researching in the field of program synthesis, neuro-symbolic proving and reasoning, and their application to bioinformatics.
Check out my website for more information.
Session
07-11
10:00
10min
Herb.jl: Teaching programs how to program with program synthesis
Tilman Hinnerichs
Wouldn’t it be great if Julia would program itself? You simply tell it what you want, Julia magic happens, and you have your program. While this is still a farfetched dream, in this talk we will introduce you to Herb.jl, a Julia library that gets us a step closer to our big goal.
General
Method (1.5)