{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 1"}, "title": "Theorem 1", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.charTime_mul_klBer_le_expectedStoppingTime", "module": "Garivier2016Optimal.GK2016.Theorem1"}}], "kind": "theorem", "id": "GK16:Theorem 1", "relation": "narrowMatch"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 5"}, "title": "Theorem 5", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.mem_optAlloc_iff_exists_scalar", "module": "Garivier2016Optimal.GK2016.Theorem5"}}], "kind": "theorem", "id": "GK16:Theorem 5", "relation": "closeMatch"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 5"}, "title": "Theorem 5", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.mem_optAlloc_baiTask_restrict_iff", "module": "Garivier2016Optimal.ForLMLExplore.Identification.Task.BestArmScalar"}}], "kind": "theorem", "id": "GK16:Theorem 5"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 5"}, "title": "Theorem 5", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.mem_optAlloc_baiTask_restrict_of_sum_div_eq_one", "module": "Garivier2016Optimal.ForLMLExplore.Identification.Task.BestArmScalar"}}], "kind": "theorem", "id": "GK16:Theorem 5"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 5"}, "title": "Theorem 5", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.sum_div_eq_one_of_mem_optAlloc_baiTask_restrict", "module": "Garivier2016Optimal.ForLMLExplore.Identification.Task.BestArmScalar"}}], "kind": "theorem", "id": "GK16:Theorem 5"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 10"}, "title": "Theorem 10", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.measureReal_glrt_bernoulli_le", "module": "Garivier2016Optimal.GK2016.Theorem10"}}], "kind": "theorem", "id": "GK16:Theorem 10", "relation": "exactMatch"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 10"}, "title": "Theorem 10", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.measureReal_histOutputMeasure_glrt_baiTask_bernoulli_le", "module": "Garivier2016Optimal.ForLMLExplore.Identification.KTThreshold"}}], "kind": "theorem", "id": "GK16:Theorem 10"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 10"}, "title": "Proof of Theorem 10", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.measure_exists_log_two_mul_mul_lt_klBer_le", "module": "Garivier2016Optimal.ForLMLExplore.SequentialLearning.KTDeviation"}}], "kind": "proof", "id": "GK16:Theorem 10"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 14"}, "title": "Theorem 14", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.limsup_expectedStoppingTime_cTrackAndStop_div_log_le", "module": "Garivier2016Optimal.GK2016.Theorem14"}}], "kind": "theorem", "id": "GK16:Theorem 14", "relation": "hasPart"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Theorem 14"}, "title": "Theorem 14", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.limsup_expectedStoppingTime_trackAndStop_div_log_le", "module": "Garivier2016Optimal.GK2016.Theorem14"}}], "kind": "theorem", "id": "GK16:Theorem 14", "relation": "hasPart"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 6"}, "title": "Proposition 6", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.continuousAt_of_mem_optAlloc", "module": "Garivier2016Optimal.GK2016.Proposition6"}}], "kind": "proposition", "id": "GK16:Proposition 6", "relation": "hasPart"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 6"}, "title": "Proposition 6", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.le_of_mem_optAlloc_of_le", "module": "Garivier2016Optimal.GK2016.Proposition6"}}], "kind": "proposition", "id": "GK16:Proposition 6", "relation": "hasPart"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 6"}, "title": "Proposition 6", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.pos_of_mem_optAlloc", "module": "Garivier2016Optimal.GK2016.Proposition6"}}], "kind": "proposition", "id": "GK16:Proposition 6", "relation": "hasPart"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 6"}, "title": "Proposition 6", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.le_iff_le_of_mem_optAlloc_baiTask_restrict", "module": "Garivier2016Optimal.ForLMLExplore.Identification.Task.BestArmOrder"}}], "kind": "proposition", "id": "GK16:Proposition 6"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 6"}, "title": "Proposition 6", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.lt_iff_lt_of_mem_optAlloc_baiTask_restrict", "module": "Garivier2016Optimal.ForLMLExplore.Identification.Task.BestArmOrder"}}], "kind": "proposition", "id": "GK16:Proposition 6"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 12"}, "title": "Proposition 12", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.exists_measureReal_glrt_expFamilyEvidence_le", "module": "Garivier2016Optimal.GK2016.Proposition12"}}], "kind": "proposition", "id": "GK16:Proposition 12", "relation": "narrowMatch"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 12"}, "title": "Proposition 12", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.isDeltaPAC_glrt_expFamilyEvidence_log_mul_rpow_div", "module": "Garivier2016Optimal.ForLMLExplore.Identification.DeviationalThreshold"}}], "kind": "proposition", "id": "GK16:Proposition 12"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 12"}, "title": "Proposition 12", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.measureReal_histOutputMeasure_glrt_expFamilyEvidence_log_mul_rpow_div_le", "module": "Garivier2016Optimal.ForLMLExplore.Identification.DeviationalThreshold"}}], "kind": "proposition", "id": "GK16:Proposition 12"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 12"}, "title": "Proposition 12", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.measure_exists_two_mul_card_mul_add_le_sum_pullCount_mul_expFamilyRate_le", "module": "Garivier2016Optimal.ForLMLExplore.SequentialLearning.ExpFamilyDeviation"}}], "kind": "proposition", "id": "GK16:Proposition 12"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 13"}, "title": "Proposition 13", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.stoppingTime_glrt_ne_top_and_limsup_le", "module": "Garivier2016Optimal.GK2016.Proposition13"}}], "kind": "proposition", "id": "GK16:Proposition 13", "relation": "exactMatch"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 13"}, "title": "Proposition 13", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.ae_eventually_stoppingTime_glrt_le", "module": "Garivier2016Optimal.ForLMLExplore.Identification.AlmostSure"}}], "kind": "proposition", "id": "GK16:Proposition 13"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 13"}, "title": "Proposition 13", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.ae_stoppingTime_glrt_ne_top", "module": "Garivier2016Optimal.ForLMLExplore.Identification.AlmostSure"}}], "kind": "proposition", "id": "GK16:Proposition 13"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 13"}, "title": "Proof of Proposition 13", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.eventually_mul_le_glr_plugInCost", "module": "Garivier2016Optimal.ForLMLExplore.Identification.AlmostSure"}}], "kind": "proof", "id": "GK16:Proposition 13"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Proposition 13"}, "title": "Proposition 13", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.Identification.IdentTask.eventually_stoppingTime_glrt_le_of_eventually_mul_le_glr", "module": "Garivier2016Optimal.ForLMLExplore.Identification.AlmostSure"}}], "kind": "proposition", "id": "GK16:Proposition 13"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Lemma 11"}, "title": "Lemma 11", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.div_pow_mul_div_pow_le_two_mul_sqrt_mul_integral_betaMeasure", "module": "Garivier2016Optimal.ForLMLExplore.InformationTheory.KrichevskyTrofimov"}}], "kind": "lemma", "id": "GK16:Lemma 11"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Lemma 11"}, "title": "Lemma 11", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.mul_klBerReal_div_le_log_two_mul_sqrt_mul_integral_betaMeasure_div", "module": "Garivier2016Optimal.ForLMLExplore.InformationTheory.KrichevskyTrofimov"}}], "kind": "lemma", "id": "GK16:Lemma 11"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Lemma 11"}, "title": "Lemma 11", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "LMLExplore.pow_mul_one_sub_pow_le_two_mul_sqrt_mul_integral_betaMeasure", "module": "Garivier2016Optimal.ForLMLExplore.InformationTheory.KrichevskyTrofimov"}}], "kind": "lemma", "id": "GK16:Lemma 11"}
{"subject": [{"type": "html", "uri": "https://arxiv.org/abs/1602.04589", "version": "v2", "location": {"profile": "https://leanmachinelearning.org/LMLExplore/literature/#numbered-item", "label": "Remark 2"}, "title": "Remark 2", "citation": {"id": "GK16", "type": "paper-conference", "title": "Optimal Best Arm Identification with Fixed Confidence", "author": [{"family": "Garivier", "given": "Aurélien"}, {"family": "Kaufmann", "given": "Emilie"}], "container-title": "Proceedings of the 29th Conference on Learning Theory (COLT)", "issued": {"date-parts": [[2016]]}}, "identifiers": {"arxiv": "1602.04589"}}], "object": [{"type": "lean", "uri": "https://github.com/RemyDegenne/Garivier2016Optimal", "version": "4f71d117b9d19d46deca644a8bad7ab351897187", "location": {"declaration": "Garivier2016Optimal.eventually_mul_log_le_expectedStoppingTime", "module": "Garivier2016Optimal.GK2016.Theorem1"}}], "kind": "remark", "id": "GK16:Remark 2", "relation": "closeMatch"}