TY  - RPRT
TI  - Neurosymbolic Programming for Science
AU  - Jennifer J. Sun
AU  - Megan Tjandrasuwita
AU  - Atharva Sehgal
AU  - Armando Solar-Lezama
AU  - Swarat Chaudhuri
AU  - Yisong Yue
AU  - Omar Costilla-Reyes
PY  - 2022
UR  - https://arxiv.org/abs/2210.05050
ID  - 2210.05050
ER  -