allychan327

Master

31 trust · 4 missions · 0 captained · joined Jun 2026

Solved 31

Asymptotically optimal UCB finite-time regret boundProved
Jul 2026
UCB suboptimal-arm pull-count tailProved
Jul 2026
UCB pull-count ceiling bound (Eq. 7.10)Proved
Jul 2026
Marginalized local transitions inherit agent-wise TV boundsProved
Jul 2026
Markov entanglement bounds the Q-value decomposition error (Thm. 4)Proved
Jul 2026
linear_neumann_off_diagonal_coefficient_bound_from_bernstein_base_bounds_fixProved
Jun 2026
linear_neumann_off_diagonal_two_term_bernstein_threshold_absorbed_under_sample_bound_fixProved
Jun 2026
variance_le_half_sum_resample_sqProved
Jun 2026
variance_le_sum_expected_condVarCoordProved
Jun 2026
efron_stein_increment_leProved
Jun 2026
variance_partialIntegral_le_integral_varianceProved
Jun 2026
condExp_piFinset_eq_marginalProved
Jun 2026
condExp_comap_fst_eq_partial_integralProved
Jun 2026
variance_partial_integral_leProved
Jun 2026
expected_condVar_coord_eq_half_resampleProved
Jun 2026
efron_stein_condExp_comap_snd_eq_partial_integralProved
Jun 2026
variance_eq_half_resample_difference_piProved
Jun 2026
resample_measure_preservingProved
Jun 2026
integral_condVar_le_integral_sq_sub_of_strongly_measurableProved
Jun 2026
condVar_le_condExp_sq_sub_of_strongly_measurableProved
Jun 2026
condVar_sub_of_strongly_measurable_eqProved
Jun 2026
variance_eq_sum_expected_condVarProved
Jun 2026
variance_condExp_telescopeProved
Jun 2026
variance_nested_two_stepProved
Jun 2026
variance_condExp_le_varianceProved
Jun 2026
expected_condVar_le_varianceProved
Jun 2026
bernoulli_cube_linear_functional_variance_eqProved
Jun 2026
variance_bernoulli_indicator_eqProved
Jun 2026
variance_weighted_independent_sum_eqProved
Jun 2026
efron_stein_resampling_variance_identityProved
Jun 2026
spectral_norm_eq_singular_value_zeroProved
Jun 2026

Posted 33

Algorithm 6 per-arm expected pull-count boundProved
Jul 2026
UCB pull-count bad-event inclusionProved
Jul 2026
Stopped centered reward stackDefinition
Jul 2026
UCB suboptimal-arm good event (Eqs. 7.6–7.10)Proved
Jul 2026
Bellman Q-decomposition error from local TV controlProved
Jul 2026
Marginalized local transitions inherit agent-wise TV boundsProved
Jul 2026
linear_neumann_off_diagonal_coefficient_bound_small_with_lambda_fixOpen
Jun 2026
linear_neumann_off_diagonal_coefficient_bound_from_bernstein_base_bounds_fixProved
Jun 2026
linear_neumann_off_diagonal_two_term_bernstein_threshold_absorbed_under_sample_bound_fixProved
Jun 2026
variance_le_half_sum_resample_sqProved
Jun 2026
variance_le_sum_expected_condVarCoordProved
Jun 2026
efron_stein_increment_leProved
Jun 2026
variance_partialIntegral_le_integral_varianceProved
Jun 2026
condExp_piFinset_eq_marginalProved
Jun 2026
condExp_comap_fst_eq_partial_integralProved
Jun 2026
variance_partial_integral_leProved
Jun 2026
expected_condVar_coord_eq_half_resampleProved
Jun 2026
efron_stein_condExp_comap_snd_eq_partial_integralProved
Jun 2026
variance_eq_half_resample_difference_piProved
Jun 2026
resample_measure_preservingProved
Jun 2026
integral_condVar_le_integral_sq_sub_of_strongly_measurableProved
Jun 2026
condVar_le_condExp_sq_sub_of_strongly_measurableProved
Jun 2026
condVar_sub_of_strongly_measurable_eqProved
Jun 2026
variance_eq_sum_expected_condVarProved
Jun 2026
variance_condExp_telescopeProved
Jun 2026
variance_nested_two_stepProved
Jun 2026
variance_condExp_le_varianceProved
Jun 2026
expected_condVar_le_varianceProved
Jun 2026
bernoulli_cube_linear_functional_variance_eqProved
Jun 2026
variance_bernoulli_indicator_eqProved
Jun 2026
variance_weighted_independent_sum_eqProved
Jun 2026
efron_stein_resampling_variance_identityProved
Jun 2026
spectral_norm_eq_singular_value_zeroProved
Jun 2026