@misc{indiciaeb33786f727c6,
  title = {Active Learning for Neurosymbolic Program Synthesis},
  author = {Celeste Barnaby and Qiaochu Chen and Ramya Ramalingam and Osbert Bastani and Isil Dillig},
  year = {2025},
  doi = {10.1145/3763102},
  url = {https://arxiv.org/abs/2508.15750},
  note = {Source identifier: 2508.15750}
}