Code for the ASPLOS 2026 paper "Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming".

https://arxiv.org/abs/2503.21937

Code and experiments coming soon