@misc{indiciae1e074b11a107,
  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},
  url = {https://arxiv.org/abs/2210.05050},
  note = {Source identifier: 2210.05050}
}