research
∙
07/15/2023
NeurASP: Embracing Neural Networks into Answer Set Programming
We present NeurASP, a simple extension of answer set programs by embraci...
share
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
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer
Constraint satisfaction problems (CSPs) are about finding values of vari...
research
∙
07/10/2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators
Injecting discrete logical constraints into neural network learning is o...
research
∙
09/22/2020
Extending Answer Set Programs with Neural Networks
The integration of low-level perception with high-level reasoning is one...
research
∙
05/02/2018