Search Results for author:
Found 1 papers, 0 papers with code
Symbol Correctness in Deep Neural Networks Containing Symbolic Layers
To handle AI tasks that combine perception and logical reasoning, recent work introduces Neurosymbolic Deep Neural Networks (NS-DNNs), which contain -- in addition to traditional neural layers -- symbolic layers: symbolic expressions (e. g., SAT formulas, logic programs) that are evaluated by symbolic solvers during inference.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
