https://trishul.us/research/neurosymbolic-programming/