Résumé : Au cours de cet exposé, nous présenterons un algorithme bien connu de la communauté d’optimisation Lipschitz, à savoir l’algorithme de Piyavskii. Bien que proposé dans les 70, il repose sur des principes très populaires aujourd’hui dans la communauté de l’optimisation bandit. Nous montrerons que cet algorithme atteint le même niveau de performance théorique que les algorithmes de référence dans ce domaine. L’algorithme de Piyavskii étant originalement proposé dans un contexte déterministe, nous en proposons une extension stochastique basée sur de l’évaluation par mini-batch. De même nous présentons des bornes sur l’évolution de l’erreur d’optimisation de cet algorithme.
L’ensemble des résultats théoriques sera accompagné d’expériences numériques.
Lieu : bâtiment 1R2, salle 207 (Pellos)
Résumé : Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this talk, we will present a modal system (TSC) that generates principles that hold between the different Turing progressions under a natural arithmetical interpretation. We will also discuss the completeness of TSC w.r.t. a minor variation of Ignatiev’s model for the closed fragment of Japaridze’s provability logic GLP.
Lieu : IRIT Salle 001