vraven.decompiler · class
CounterfactualProofEngine
CounterfactualProofEngine(config: 'CounterfactualConfig | None' = None) -> 'None'Search for a compact concept intervention and verify it in the original graph.
Usage
from vraven.decompiler import CounterfactualProofEngine
value = CounterfactualProofEngine(...)Methods
prove(self, captured: 'CapturedModel', atlas: 'ConceptAtlas', program: 'MechanismProgram', causal_graph: 'CausalMechanismGraph', sample_args: 'Sequence[Any]', *, sample_kwargs: 'Mapping[str, Any] | None' = None, target: 'int', domain_validator: 'DomainValidator | None' = None) -> 'CounterfactualProof'
Public method.
Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.