Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming