Huaduo Wang

grASP: A Graph Based ASP-Solver and Justification System

2021 · arXiv (Cornell University)

Answer set programming (ASP) is a popular nonmonotonic-logic based paradigm for knowledge representation and solving combinatorial problems. Computing the answer set of an ASP program is NP-hard in general, and researchers have been investing significant …

NeSyFOLD: Neurosymbolic Framework for Interpretable Image Classification

2023 · arXiv (Cornell University)

Deep learning models such as CNNs have surpassed human performance in computer vision tasks such as image classification. However, despite their sophistication, these models lack interpretability which can lead to biased outcomes reflecting existing prejudices …