Neurosymbolic 80M AI from Princeton