@misc{indiciae997cdff92df6,
  title = {Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics},
  author = {Rui Dong and Qingyue Wu and Danny Ding and Zheng Guo and Ruyi Ji and Xinyu Wang},
  year = {2026},
  doi = {10.1145/3808288},
  url = {https://arxiv.org/abs/2604.13290},
  note = {Source identifier: 2604.13290}
}