[PLDI'23] Scallop: A Language for Neurosymbolic Programming cross-posted from: lemmy.one/post/13942290...