Robustness of Neurosymbolic Reasoners on First-Order Logic Problems

This post summarizes my research exploring how neurosymbolic reasoners generalize and fail under logical perturbations.