Utils

torch_explain.logic.utils

torch_explain.logic.utils.get_predictions(formula: str, x: Tensor, threshold: float = 0.5)

Tests a logic formula. :param formula: logic formula :param x: input data :param target_class: target class :return: Accuracy of the explanation and predictions

torch_explain.logic.utils.replace_names(explanation: str, concept_names: List[str]) str

Replace names of concepts in a formula. :param explanation: formula :param concept_names: new concept names :return: Formula with renamed concepts