Combined-chain nested sampling for efficient Bayesian model comparison. - R. Wesley Henderson; Paul M. Goggans; Lei Cao 001 (Digit. Signal Process., 2017)

TI-Stan: Model Comparison Using Thermodynamic Integration and HMC. - R. Wesley Henderson; Paul M. Goggans (Entropy, 2019)

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. - Tom Reichel; R. Wesley Henderson; Andrew Touchet; Andrew Gardner; Talia Ringer (ITP, 2023)