@article{learningrandomizedreductionsandprogram,
  title = {Learning Randomized Reductions and Program Properties},
  author = {Ferhat Erata and Orr Paradise and Timos Antonopoulos and ThanhVu Nguyen and Shafi Goldwasser and Ruzica Piskac},
  year = {2024},
  eprint = {2412.18134},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2412.18134v1},
}