Utils

torch_explain.logic.utils

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

Replace names of concepts in a formula.

Parameters

• explanation – formula

• concept_names – new concept names

Returns

Formula with renamed concepts