Explore projects

Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.

Project done by Nils Idema in Jan 2025; supervised by Michael Behrisch

Project done by Nils Idema in Jan 2025; supervised by Michael Behrisch

This MBI Master Thesis Project is conducted in 06/2024 by Mick Sneekes and supervised by Yuncong Yu and Michael Behrisch