v1v2 (latest)

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

2 February 2020

Papers citing "An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic"

3 / 3 papers shown

Title
On the Paradox of Learning to Reason from Data Honghua Zhang Liunian Harold Li Tao Meng Kai-Wei Chang Guy Van den Broeck NAI ReLM OOD LRM 212 108 0 23 May 2022
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 87 78 0 06 Oct 2020
Transformers as Soft Reasoners over Language Peter Clark Oyvind Tafjord Kyle Richardson ReLM OffRL LRM 138 362 0 14 Feb 2020