2 papers
cs.PL2025
Oriented Metrics for Bottom-Up Enumerative Synthesis
Roland Meyer, Jakob Tepe
In syntax-guided synthesis, one of the challenges is to reduce the enormous size of the search space. We observe that most search spaces are not just flat sets of programs, but can…
cs.LO2024
Realizability in Semantics-Guided Synthesis Done Eagerly
Roland Meyer, Jakob Tepe, Sebastian Wolff
We present realizability and realization logic, two program logics that jointly address the problem of finding solutions in semantics-guided synthesis. What is new is that we proce…