Gopal Gupta

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 …

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming

2023 · Electronic Proceedings in Theoretical Computer Science

Humans understand language by extracting information (meaning) from sentences, combining it with existing commonsense knowledge, and then performing reasoning to draw conclusions.While large language models (LLMs) such as GPT-3 and ChatGPT are able to leverage …