R. Wesley Henderson

According to our database, R. Wesley Henderson authored at least 3 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.

Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2019

TI-Stan: Model Comparison Using Thermodynamic Integration and HMC.

R. Wesley Henderson, Paul M. Goggans

Entropy, 2019

2017

Combined-chain nested sampling for efficient Bayesian model comparison.

R. Wesley Henderson, Paul M. Goggans, Lei Cao

Digit. Signal Process., 2017