pub fn ucb_algorithm_ty() -> Expr
UCBAlgorithm: upper confidence bound algorithm Type: Nat → Real → Type (n arms, exploration param c)
UCBAlgorithm