Neurosymbolic Programming in Scallop: Design, Implementation, and Applications - Li, Ziyang (ProQuest Dissertations and Theses, 2025)