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
08-12
11:30
30min
What’s new with Herb.jl: Teaching Programs how to Program with Program Synthesis
Tilman Hinnerichs, Reuben Gardos Reid
Wouldn’t it be great if Julia could program itself?
You simply tell it what you want, Julia magic happens, and you get correct-by-construction code.
In this talk, we introduce Herb.jl, a unifying program synthesis library written in Julia, that gets us closer to this goal.
While we are not fully there yet, we have significantly progressed since our last talk at JuliaCon 2024.
General
Room 2