Skip to main content

exponential_weights_algorithm_ty

oxilean_std::convex_optimization::functions

Function exponential_weights_algorithm_ty 

Source 
pub fn exponential_weights_algorithm_ty() -> Expr
Expand description

ExponentialWeightsAlgorithm : Real -> Nat -> Prop EWA/Hedge: mirror descent with negative entropy achieves O(sqrt(T log n)) regret.