TY  - RPRT
TI  - Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
AU  - Rui Dong
AU  - Qingyue Wu
AU  - Danny Ding
AU  - Zheng Guo
AU  - Ruyi Ji
AU  - Xinyu Wang
PY  - 2026
DO  - 10.1145/3808288
UR  - https://arxiv.org/abs/2604.13290
ID  - 2604.13290
ER  -