Forough Arabshahi, “Neuro-Symbolic Learning Algorithms for Automated Reasoning“

Humans possess impressive problem solving and reasoning capabilities, be it mathematical, logical or commonsense reasoning. Computer scientists hav...