formula
The Neuro Symbolic Neuro architecture is formally defined as y = f_s(N_1(x), N_2(x), ..., N_n(x)), where N_i represents an individual neural network, f_s is the logic-aware aggregator that enforces symbolic constraints while unifying the outputs of multiple neural networks, n is the number of neural networks, and y is the combined output of interconnected neural networks produced through the symbolic fibring function.

Authors

Sources

Referenced by nodes (1)