swMATH43631MaRDI QIDQ1350630FDOQ1350630
Author name not available (Why is that?)
Official website: https://www.ijcai.org/proceedings/2020/0243.pdf
Source code repository: https://github.com/azreasoners/NeurASP
Cited In (28)
- DeepCoder
- NeuroSAT
- Title not available (Why is that?)
- PASTA
- PASOCS
- Louise
- ProbLog
- ProbView
- f2lp
- kLog
- Fuzzydl
- kProbLog
- PrASP
- ASPTools
- TensorLog
- Metagol
- CLEVR dataset
- SPFlow
- soft-DTW
- DL2
- SMProbLog
- A Neuro-Symbolic ASP Pipeline for Visual Question Answering
- Efficient Knowledge Compilation Beyond Weighted Model Counting
- Dsharp
- DeepProbLog
- CLEVR
- RelNN
- Gradient-based supported model computation in vector spaces
This page was built for software: NeurASP
