11 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Cheng-Hao Cai
This paper introduces an SLD-resolution technique based on deep learning. This technique enables neural networks to learn from old and successful resolution processes and to use le…