joelberkeley / spidr

Accelerated machine learning with dependent types
Apache License 2.0
73 stars 4 forks source link

refactor Bayesian optimization framework #350

Closed joelberkeley closed 1 year ago

joelberkeley commented 1 year ago

Is this essentially done? Why is it not merged?