Example-Based Synthesis using Context-Sensitive E-Graph Saturation
Master Project
of Matteo Bertorotta
Project Description
Thsi project looks at program synthesis through the lens of e-graphs as a tool to help reduce the search space of plausible programs.
Contacts for the Project
Example-Based Synthesis using Context-Sensitive E-Graph Saturation
Student: Matteo Bertorotta
Supervisor(s): Sebastijan Dumančić, Tilman Hinnerichs, Andreea Costea