Search Results for author:
Found 1 papers, 0 papers with code
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
Inspired by the recent evolution of deep neural networks (DNNs) in machine learning, we explore their application to PL-related topics.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
