From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms. - Zurabi Kobaladze; Anna Arnania; Tamar Sanikidze (CoRR, 2025)