v1v2v3 (latest)

On Learning to Prove

24 April 2019

Papers citing "On Learning to Prove"

2 / 2 papers shown

Title
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 132 50 0 17 Feb 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019