Premise selection with neural networks and distributed representation of features

Open in new window