Closed atrisovic closed 1 year ago
random_seed needs to be passed from the user to the GPSampler
@atrisovic, are we done with this issue?
No, there was a WIP PR that needs to be discussed
Closing since it seems outdated.
random_seed needs to be passed from the user to the GPSampler