4 citations · 16 across the 15 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…