code format

check_data.py

@@ -1,6 +1,7 @@
 """
 Sanity checks on the data.
 """
+
 import os
 from hashlib import md5
 

common.py

@@ -1,6 +1,7 @@
 """
 Some utility functions.
 """
+
 import re
 import torch
 import random

preprocess_ruletaker.py

@@ -1,6 +1,7 @@
 """
 Preprocess the RuleTaker dataset into a format similar to EntailmentBank.
 """
+
 from common import *
 from glob import glob
 from lark import Lark
@@ -190,9 +191,9 @@ def main() -> None:
                                 "context": context,
                                 "proofs": proofs,
                                 "answer": answer,
-                                "depth": question["QDep"]
-                                if answer != "Unknown"
-                                else None,
+                                "depth": (
+                                    question["QDep"] if answer != "Unknown" else None
+                                ),
                             }
                         )
 

prover/datamodule.py

@@ -1,6 +1,7 @@
 """
 Dataloading for EntailmentBank and RuleTaker.
 """
+
 from copy import deepcopy
 from common import *
 from prover.proof import Proof, InvalidProofStep

prover/evaluate.py

@@ -1,6 +1,7 @@
 """
 Utilities for evaluation.
 """
+
 from common import *
 import argparse
 import itertools

prover/proof.py

@@ -1,6 +1,7 @@
 """
 Proof steps and proof trees.
 """
+
 from common import *
 import itertools
 

prover/search.py

@@ -1,6 +1,7 @@
 """
 Proof graph for proof search.
 """
+
 from common import *
 from prover.proof import ProofStep
 import networkx as nx