R. Wesley Henderson

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Multi Task Learning

Random Sampling

Top Venues

Digit. Signal Process.

Publications

Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. ITP (2023)
R. Wesley Henderson, Paul M. Goggans
TI-Stan: Model Comparison Using Thermodynamic Integration and HMC. Entropy 21 (12) (2019)
R. Wesley Henderson, Paul M. Goggans, Lei Cao
Combined-chain nested sampling for efficient Bayesian model comparison. Digit. Signal Process. 70 (2017)