3 citations · 4 across the 9 of their papers we have counts for
1 paper · 1 filter
Rui Yan, Gabriel Santos, Gethin Norman +2
Neuro-symbolic approaches to artificial intelligence, which combine neural networks with classical symbolic techniques, are growing in prominence, necessitating formal approaches t…