@article{neurosymbolicprogrammingforscience,
  title = {Neurosymbolic Programming for Science},
  author = {Jennifer J. Sun and Megan Tjandrasuwita and Atharva Sehgal and Armando Solar-Lezama and Swarat Chaudhuri and Yisong Yue and Omar Costilla-Reyes},
  year = {2022},
  eprint = {2210.05050},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2210.05050v2},
}