[EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
Primary LanguagePythonMIT LicenseMIT