Picture for Paulius Dilkas

Paulius Dilkas

Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning

Add code
Oct 29, 2024
Viaarxiv icon

Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures

Add code
Jun 07, 2023
Viaarxiv icon

Generating Random Logic Programs Using Constraint Programming

Add code
Jun 02, 2020
Figure 1 for Generating Random Logic Programs Using Constraint Programming
Figure 2 for Generating Random Logic Programs Using Constraint Programming
Figure 3 for Generating Random Logic Programs Using Constraint Programming
Figure 4 for Generating Random Logic Programs Using Constraint Programming
Viaarxiv icon