Neural Theorem Prover is an end-to-end differentiable logic reasoner, implementing the model described in End-to-end Differentiable Proving.
Neural Theorem Prover is an end-to-end differentiable logic reasoner, implementing the model described in End-to-end Differentiable Proving.