research
∙
07/15/2023
NeurASP: Embracing Neural Networks into Answer Set Programming
We present NeurASP, a simple extension of answer set programs by embraci...
research
∙
07/15/2023
Leveraging Large Language Models to Generate Answer Set Programs
Large language models (LLMs), such as GPT-3 and GPT-4, have demonstrated...
research
∙
07/15/2023
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
While large language models (LLMs), such as GPT-3, appear to be robust a...
research
∙
07/10/2023