@misc{indiciaef4bcba8e79d7, title = {Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming}, author = {Paul Biberstein and Ziyang Li and Joseph Devietti and Mayur Naik}, year = {2025}, doi = {10.1145/3760250.3762232}, url = {https://arxiv.org/abs/2503.21937}, note = {Source identifier: 2503.21937} }