PLanet is a DSL that formalizes assignment procedures via matrix algebra operators, enabling static analysis of testable causal queries under explicit assumptions.
Cook and Donald T
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.HC 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments
PLanet is a DSL that formalizes assignment procedures via matrix algebra operators, enabling static analysis of testable causal queries under explicit assumptions.