Picture for Matthew Whyte

Matthew Whyte

The University of Edinburgh School of Informatics, Artificial Intelligence and its Applications Institute

Neurosymbolic AI for Reasoning on Graph Structures: A Survey

Add code
Feb 14, 2023
Figure 1 for Neurosymbolic AI for Reasoning on Graph Structures: A Survey
Figure 2 for Neurosymbolic AI for Reasoning on Graph Structures: A Survey
Figure 3 for Neurosymbolic AI for Reasoning on Graph Structures: A Survey
Figure 4 for Neurosymbolic AI for Reasoning on Graph Structures: A Survey
Viaarxiv icon

Constrained Training of Neural Networks via Theorem Proving

Add code
Jul 08, 2022
Figure 1 for Constrained Training of Neural Networks via Theorem Proving
Figure 2 for Constrained Training of Neural Networks via Theorem Proving
Figure 3 for Constrained Training of Neural Networks via Theorem Proving
Viaarxiv icon