Aug, 2022

高维空间中的可微归纳逻辑编程

TL;DR介绍了一种利用高维梯度下降和大规模谓词发明来实现基于归纳逻辑编程的合成的方法,该方法获得了超过现有神经符号逻辑编程系统成就的符号解。