How to set seed for Random.TaskLocalRNG()?

Specific Domains Machine Learning
1

I see the following:

using MLJ
Tree = @load DecisionTreeClassifier pkg=DecisionTree

julia> tree = Tree()
DecisionTreeClassifier(
  max_depth = -1,
  min_samples_leaf = 1,
  min_samples_split = 2,
  min_purity_increase = 0.0,
  n_subfeatures = 0,
  post_prune = false,
  merge_purity_threshold = 1.0,
  display_depth = 5,
  feature_importance = :impurity,
  rng = Random.TaskLocalRNG())

not much success after reading docs about Random.TaskLocalRNG. How could I set a fixed seed for it? Should I use

Random.seed!(123)

or

Random.seed!(Random.TaskLocalRNG(), 123)

?

thanks

2

I usually use Random.Xoshiro(seed) for this purpose. Does Tree(rng=Random.Xoshiro(42)) work?

3

from the docs, seems like TaskLocalRNG has some distinct advantages like being reproduce-able in multithread environment. That’s why it’s chosen as the default.