Why Use BART for Propensity Scores?
A propensity score is the probability of receiving treatment given measured covariates. Estimating it requires a model for treatment assignment, but the relationship between covariates and treatment may involve nonlinearities and interactions that are difficult to specify in advance. Bayesian additive regression trees (BART) provide a flexible way to represent such patterns: many small regression trees contribute to one fitted function, and Bayesian estimation accounts for uncertainty about the trees and their terminal-node values.
BART is not a guarantee of a good propensity model. It cannot account for confounders that were not measured, and its fitted probabilities do not by themselves demonstrate covariate balance or adequate overlap. Its role here is to provide a flexible estimate of treatment probabilities that must still be evaluated in the context of the intended causal analysis.
The BART Probit Model
For a binary treatment, one standard BART specification uses a probit link. Let \(m\) be the number of trees. Each tree \(j\) has a tree structure that partitions covariate space into terminal nodes, and a parameter \(\mu_{jk}\) for each terminal node \(k\). The tree returns the parameter of the terminal node into which the covariates fall. Summing the predictions from all trees gives the latent function \(f(X_i)\).
Here, \(\mathcal{T}_j\) denotes tree \(j\)’s structure, \(\mathcal{M}_j\) its terminal-node parameters, and \(g\) the prediction from that tree. The standard normal cumulative distribution function \(\Phi\) maps the real-valued sum to a probability between zero and one. A single tree makes a piecewise-constant prediction; adding trees allows the model to build more varied patterns, including nonlinearities and interactions, while keeping each tree relatively simple.
The probit specification has a useful latent-variable representation. Conditional on the covariates and the tree ensemble, define \(Z_i=f(X_i)+\varepsilon_i\), where \(\varepsilon_i\sim N(0,1)\), and set \(T_i=1\) exactly when \(Z_i>0\). Then
The error variance is fixed at one to set the probit scale; it is not a freely estimated residual variance in this binary-treatment model. In the usual likelihood, treatment indicators are modeled as conditionally independent given their covariates and the model parameters. The covariates used for estimating treatment assignment should be measured before treatment, not variables that may have been affected by treatment.
How the Bayesian Tree Sum Is Regularized
The flexibility of a large tree ensemble needs regularization. A common BART prior makes deep trees less likely than shallow ones. For a node at depth \(d\), the probability of splitting it is often set to \(\alpha/(1+d)^\beta\), with parameters chosen so that splitting becomes less probable as depth increases. Candidate split variables and cut points are selected according to specified prior rules. Terminal-node values are given a centered prior, commonly a normal distribution with a scale small enough that any one tree is encouraged to make a modest contribution.
The point of these priors is not to assert that the true treatment mechanism consists of a particular number of tiny trees. Rather, the model combines many regularized components so that the sum can express a richer function while limiting the influence of any one component. Exact prior choices and sampling details vary among implementations, so an analysis should report the BART specification and software settings used.
Bayesian computation produces draws of the tree structures and their terminal-node values from the posterior distribution, conditional on the observed treatment indicators and covariates. For a new covariate pattern \(x\), each retained draw gives a latent prediction \(f^{(s)}(x)\), and thus a draw-specific probability \(\Phi(f^{(s)}(x))\). The usual point estimate of the propensity is the posterior mean of those probabilities:
where \(S\) is the number of retained posterior draws. The transformation is applied within each draw before averaging. In general, the average of transformed values is not the same as transforming the average latent prediction.
Worked Example: Turning a Tree Sum Into a Probability
Suppose four trees predict the following terminal-node values for one hypothetical patient’s covariate pattern: \(0.15\), \(-0.05\), \(0.20\), and \(0.10\). Treat these values as the tree predictions from one retained posterior draw.
Step 1: Add the tree predictions.
Step 2: Apply the probit link. Using \(\Phi(0.40)\approx 0.6554\), the probability from this draw is about \(0.6554\).
This is a draw-specific predicted probability: under this particular posterior draw, the model assigns the hypothetical patient about a 65.54% probability of treatment given the listed covariate pattern. It is not yet the posterior-mean propensity estimate, which averages the probabilities from all retained draws.
Posterior Predictions: Average After Applying the Link
Because the tree structures and terminal-node values vary across posterior draws, the latent prediction can vary too. The point prediction for a covariate pattern summarizes this variation by averaging the draw-specific treatment probabilities. The following example shows why the order of operations matters.
Worked Example: Averaging Posterior Probabilities
For a second hypothetical patient, suppose three retained posterior draws give latent predictions \(f^{(1)}(x)=-0.25\), \(f^{(2)}(x)=0.10\), and \(f^{(3)}(x)=0.55\).
Step 1: Convert each draw to a probability. Using standard normal probabilities,
Step 2: Average the probabilities.
The estimated propensity is therefore about \(0.5500\), or 55.00%. If we instead average the latent predictions first, we obtain \((-0.25+0.10+0.55)/3=0.1333\), and \(\Phi(0.1333)\approx0.5530\). That is not the posterior mean probability. The difference arises because \(\Phi\) is nonlinear, so transforming an average generally does not equal averaging the transformed values.
How Tree Sums Represent Different Covariate Patterns
A tree can split on one covariate and then split again on another within one branch. Such a structure can represent an interaction: the contribution of one covariate may depend on the value of another. Across trees, different splits can combine into a flexible function without requiring the analyst to list every possible interaction in advance.
Worked Example: Comparing Two Covariate Patterns
Consider two hypothetical covariate patterns, A and B, and three retained posterior draws. The draw-specific latent predictions are as follows.
| Posterior draw | \(f^{(s)}(A)\) | \(f^{(s)}(B)\) |
|---|---|---|
| 1 | -0.80 | 0.10 |
| 2 | -0.40 | 0.50 |
| 3 | 0.20 | 0.90 |
For A, the transformed values are \(\Phi(-0.80)\approx0.2119\), \(\Phi(-0.40)\approx0.3446\), and \(\Phi(0.20)\approx0.5793\). Thus,
For B, the transformed values are \(\Phi(0.10)\approx0.5398\), \(\Phi(0.50)\approx0.6915\), and \(\Phi(0.90)\approx0.8159\). Therefore,
The estimated probability is higher for pattern B by about \(0.6824-0.3786=0.3038\), or 30.38 percentage points. This comparison describes model-based treatment probabilities for these covariate patterns; it does not estimate a treatment effect or establish that changing a covariate would cause a change in treatment probability.
Checking the Estimate and Understanding Its Limits
A flexible fitted model still needs diagnostics. Begin by checking that the estimated probabilities are finite, within zero and one, and plausible for the observed treatment patterns. Inspect whether the model assigns probabilities extremely close to zero or one; such estimates can signal limited empirical overlap or a highly confident fit in regions with little data. A predicted probability alone cannot distinguish these explanations.
Evaluate probability predictions with suitable predictive checks, such as calibration summaries, and use the cross-validation principles already introduced when comparing model settings. Predictive classification accuracy alone is not enough: a model can classify treatment status well while giving probabilities that are poorly calibrated or unsuitable for the intended analysis. After using the estimated scores in a causal design, assess covariate balance and overlap directly. A fitted propensity score is not itself evidence that either condition has been achieved.
BART depends on its prior choices, the covariates supplied, the sample information in each region of covariate space, and the adequacy of the binary-outcome model. Sparse regions may produce unstable or prior-sensitive predictions. Poorly chosen covariates, post-treatment variables, measurement error, and unmeasured confounding remain problems that tree flexibility cannot solve. BART also does not automatically solve a lack of overlap: if treated and control units have very different covariate patterns, a flexible fit cannot create data where none exist.
Its advantages and trade-offs are clearer when compared with common alternatives:
| Approach | How its propensity model differs from BART | Practical consideration |
|---|---|---|
| Logistic regression | Uses a specified linear predictor unless terms or transformations are added. | More directly interpretable, but flexibility depends on specification. |
| Generalized additive models | Represent selected nonlinear effects through smooth functions. | Useful for smooth patterns; interactions still require modeling choices. |
| Single classification tree | Uses one partition of covariate space. | Easy to inspect, but a single tree can be unstable and coarse. |
| Random forests and gradient boosting | Combine trees using their respective ensemble-fitting procedures. | Flexible alternatives; fitting and tuning differ from Bayesian posterior estimation. |
| BART | Uses a prior on many tree structures and their terminal-node values, yielding posterior draws. | Offers regularized flexibility and posterior predictions, but calibration and causal-design diagnostics are still needed. |
BART’s tree sum is an ensemble within one Bayesian model. It is different from combining distinct propensity estimators, a separate strategy. Nor does Bayesian estimation mean that the model is automatically well specified: posterior predictions are conditional on the data, likelihood, and prior used.
Common Mistakes
- Applying the link to only one latent prediction. A value from one posterior draw is not the posterior-mean propensity; average \(\Phi(f^{(s)}(x))\) across draws.
- Treating the tree sum as a probability. The sum \(f(x)\) can be any real number. Apply \(\Phi\) to obtain a probability in the probit model.
- Calling a fitted score a causal effect. It predicts treatment assignment conditional on measured covariates; it does not quantify the effect of treatment.
- Assuming flexibility guarantees balance. Balance and overlap must be assessed in the intended analysis rather than inferred from the model class.
- Using information measured after treatment. Such variables may be affected by treatment and can make a treatment-assignment model inappropriate for the intended causal design.
Check Your Understanding
Try each question, then compare your reasoning with the solutions.
- In probit BART, what does the sum of tree predictions represent, and what function turns it into a treatment probability?
- Two posterior draws give latent predictions \(-0.20\) and \(0.40\) for one covariate pattern. Using \(\Phi(-0.20)\approx0.4207\) and \(\Phi(0.40)\approx0.6554\), calculate the posterior-mean probability across these draws.
- Why is it generally incorrect to average latent predictions first and then apply the probit link?
- Name one advantage and one limitation of BART relative to a logistic propensity model with a specified linear predictor.
Solutions. (1) The sum is the latent function \(f(x)\); applying the standard normal cumulative distribution function \(\Phi\) gives a probability. (2) The average is \((0.4207+0.6554)/2=1.0761/2=0.5381\), so the estimated probability is about 53.81%. (3) Because \(\Phi\) is nonlinear, \(\{\Phi(f^{(1)}(x))+\Phi(f^{(2)}(x))\}/2\) generally differs from \(\Phi(\{f^{(1)}(x)+f^{(2)}(x)\}/2)\). (4) BART can represent nonlinearities and interactions with less reliance on specifying them in advance; however, its flexibility does not guarantee calibration, overlap, or covariate balance, and its predictions depend on the chosen model and prior.