TY  - RPRT
TI  - From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
AU  - Zurabi Kobaladze
AU  - Anna Arnania
AU  - Tamar Sanikidze
PY  - 2025
UR  - https://arxiv.org/abs/2508.00013
ID  - 2508.00013
ER  -