16 citations · 39 across the 14 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 1 cited
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
Paul Biberstein, Ziyang Li, Joseph Devietti +1
Neurosymbolic programs combine deep learning with symbolic reasoning to achieve better data efficiency, interpretability, and generalizability compared to standalone deep learning…
cs.PL2023
Scallop: A Language for Neurosymbolic Programming
Ziyang Li, Jiani Huang, Mayur Naik
We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and tra…