TY  - RPRT
TI  - Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
AU  - Derek Egolf
AU  - Stavros Tripakis
PY  - 2026
UR  - https://arxiv.org/abs/2601.04045
ID  - 2601.04045
ER  -