Aller au contenu
Accueil / Événements / Horizon Maths / Horizon Maths 2018 : L'Intelli­gence artifi­cielle

Horizon Maths 2018 : Intelligence Artificielle

L'édition 2018 d'Horizon Maths a eu lieu le vendredi 23 novembre 2018 dans la salle Jean Jaurès de l'Ecole Normale Supérieure (29 rue d'Ulm, Paris 5e). Avec pour thème l'Intelligence artificielle, cette conférence est organisée sous la houlette de Francis Bach (Inria, ENS), Gabriel Peyré (CNRS, ENS) et Cordelia Schmid (Inria). 

Programme

  • 09:00-09:30 Accueil et allocutions de bienvenue
  • 09:30-10:05 NLP for all languages: some challenges in machine learning, Alexandre Allauzen (Université Paris-Sud) 
  • 10:05-10:40 Compositional generalization biases in artificial neural networks and natural human beings, Marco Baroni(Facebook) 
  • 10:40-11:10 Pause café 
  • 11:10-11:45 Interferences in Match Kernels, Naila Murray (Naver) 
  • 11:45-12:20 Fast neural solvers, Patrick Perez (Valeo) 
  • 12:20-14:00 Déjeuner
  • 14:00-14:35 Celer: a Fast Solver for the Lasso with Dual Extrapolation, Joseph Salmon (Université de Montpellier) 
  • 14:35-15:10 Unconventional regularization for efficient machine learning, Lorenzo Rosasco (Genoa University) 
  • 15:10-15:40 Pause café
  • 15:40-16:10 Distributional reinforcement learning, Rémi Munos(Deepmind) 
  • 16:10-16:45 Auto-encoding any data with Kernel Auto-Encoder, Florence d'Alché-Buc (Telecom Paristech)

Les orateurs

  • Florence d'Alché-Buc (Telecom Paristech)

  • Alexandre Allauzen (Université Paris-Sud)

  • Marco Baroni (Facebook)

  • Rémi Munos (Deepmind)

  • Naila Murray (Naver)

  • Patrick Perez (Valeo)

  • Lorenzo Rosasco (Genoa University)

  • Joseph Salmon (Université de Montpellier)

Vidéos

Discours de bienvenue de Francis Bach (Inria, ENS), organisateur de la journée, et Gabrielle Costa de Beauregard, qui représentait la Région Île-de-France.

NLP for all languages: some challenges in machine learning, Alexandre Allauzen (Université Paris-Sud)

In the last decades, statistical models and deep-learning approaches has renewed the research in Natural Language Processing (NLP) and many applications are now widely used in our everyday life. Their success relies on the availability of large (annotated) corpora tailored to build robust and useful software. However, for the vast majority of languages around the world, the access to such linguistic resources is uneven and patchy. Moreover, the wide linguistic diversity across languages implies challenges for research in machine learning. This presentation will focus on two of them: the large vocabulary challenge for neural language models; and bayesian approach for unsupervised natural language documentation.

Compositional generalization biases in artificial neural networks and natural human beings, Marco Baroni (Facebook)

In the last decade, "deep" artificial neural networks have led to astonishing empirical progress in tasks that require considerable generalization skills. Recurrent neural networks trained to translate from one language to the other must deal almost exclusively with sentences they have not been exposed to in training. A network playing Go against a human master must handle board configurations that it has never seen before. We must conclude that neural networks posses compositional abilities: They are able to combine knowledge they have previously acquired in novel ways, in order to solve new problems. However, more direct inquiries into how neural networks handle explicit compositional problems suggest that they do not efficiently discover the expected combinatorial strategies. For example, our recent experiments show that a network trained to execute instructions such as "run", "run twice" and "jump" is not able to generalize to "jump twice". In this talk, I will survey our experiments probing the compositional generalization abilities of neural networks, and report ongoing work in which we test human subjects in comparable tasks. I will conclude with some conjectures about which priors emerging from the human data might serve as inspiration, if we want to instill more systematic compositional capabilities into artificial neural networks.(Joint work with Brenden Lake, Joao Loula and Tal Linzen.)

Téléchargez la présentation

Interferences in Match Kernels, Naila Murray (Naver)

We consider the design of an image representation that embeds and aggregates a set of local descriptors into a single vector. Popular representations of this kind include the bag-of-visual-words, the Fisher vector and the VLAD. When two such image representations are compared with the dot-product, the image-to-image similarity can be interpreted as a match kernel. In match kernels, one has to deal with interference, i.e. with the fact that even if two descriptors are unrelated, their matching score may contribute to the overall similarity. We formalise this problem and propose two related solutions, both aimed at equalising the individual contributions of the local descriptors in the final representation. These methods modify the aggregation stage by including a set of per-descriptor weights. They differ by the objective function that is optimised to compute those weights. The first is a “democratisation†strategy that aims at equalising the relative importance of each descriptor in the set comparison metric. The second one involves equalising the match of a single descriptor to the aggregated vector. These concurrent methods give a substantial performance boost over standard aggregation methods, as demonstrated by our experiments on standard public image retrieval benchmarks.

Téléchargez la présentation

Fast neural solvers, Patrick Perez (Valeo)

Modern artificial neural networks dominate classic machine learning tasks, classification and regression alike, in a wide range of application domains. What is probably less known is that they also offer new ways to attack certain optimization problems, such as inverse problems arising in physics or image processing. While a variety of powerful iterative solvers usually exist for such problems, deep learning may offer an appealing alternative: With or without supervision, neural networks can be trained to produce approximate solutions, possibly of lower quality, but orders of magnitude faster and with no need for initialization. We shall discuss different ways to design and train such fast neural solvers, with examples from computer vision and graphics.

Téléchargez la présentation

Celer: a Fast Solver for the Lasso with Dual Extrapolation, Joseph Salmon (Université de Montpellier)

Convex sparsity-inducing regularizations are ubiquitous in high-dimensional machine learning, but solving the resulting optimization problems can be slow. To accelerate solvers, state-of-the-art approaches consist in reducing the size of the optimization problem at hand. In the context of regression, this can be achieved either by discarding irrelevant features (screening techniques) or by prioritizing features likely to be included in the support of the solution (working set techniques). Duality comes into play at several steps in these techniques. Here, we propose an extrapolation technique starting from a sequence of iterates in the dual that leads to the construction of improved dual points. This enables a tighter control of optimality as used in stopping criterion, as well as better screening performance of Gap Safe rules. Finally, we propose a working set strategy based on an aggressive use of Gap Safe screening rules. Thanks to our new dual point construction, we show significant computational speedups on multiple real-world problems.(This is joint work with M. Massias and A. Gramfort.)

Téléchargez la présentation

Unconventional regularization for efficient machine learning, Lorenzo Rosasco (Genoa University)

Classic algorithm design is based on penalizing or imposing explicit constraints to an empirical objective function, which is eventually optimized. In practice however, a number of algorithmic solutions are employed. Their effect on final performance is hard to assess a priori and typically done empirically. In this talk, we consider a linear least squares framework and take a regularization perspective to understand the effect of two commonly used ideas: sketching and iterative optimization. Our analysis highlights the role and the interplay of different algorithmic choices, including training time, step and mini-batch size, and the choice of sketching, among others. Indeed, one can view all these choices as controlling a form of ``algorithmic regularization''. The obtained results provides practical guidelines to algorithm design and suggest optimal statistical accuracy can be achieved while dramatically improving computational efficiency. Theoretical findings are illustrated in the context of large scale kernel methods, where we develop the first solvers able to scale to millions of training points.

Téléchargez la présentation

Distributional reinforcement learning, Rémi Munos (Deepmind)

I'll talk about recent work related to distributional reinforcement learning where one model the full return distribution instead of its expectation. We generalize Bellman equations to this setting and describe a deep-learning approach for approximating the distributions. We report experiments on Atari games.

Auto-encoding any data with Kernel Auto-Encoder, Florence d'Alché-Buc (Telecom Paristech)

This paper investigates a novel algorithmic approach to data representation based on kernel methods. Assuming that the observations lie in a Hilbert space X, the introduced Kernel Autoencoder (KAE) is the composition of mappings from vector-valued Reproducing Kernel Hilbert Spaces (vv-RKHSs) that minimizes the expected reconstruction error.Beyond a first extension of the auto-encoding scheme to possibly infinite dimensional Hilbert spaces, KAE further allows to autoencode any kind of data by choosing $mathcal{X}$ to be itself a RKHS. A theoretical analysis of the model is carried out, providing a generalization bound, and sheding light on its connection with Kernel Principal Component Analysis. The proposed algorithms are then detailed at length: they crucially rely on the form taken by the minimizers, revealed by a dedicated Representer Theorem. Finally, numerical experiments on both simulated data and real labeled graphs (molecules) provide empirical evidence of the KAE performances. (Joint work with Pierre Laforgue and Stephan Clémençon.)

Téléchargez la présentation

L'édition 2025 d'Horizon Maths a eu lieu le lundi 12 mai 2025 de 9h à 18h dans l'Amphithéâtre Chaudron de l'ENSCP (11 rue Pierre et Marie Curie, Paris 5e).
Organisée sous la houlette de Patrice Bertail (Modal'X, Université Paris-Nanterre), la conférence avait pour thème : Mathématiques et sécurité alimentaire.

En savoir plus

L'édition 2024 d'Horizon Maths a eu lieu le mercredi 27 mars 2024 de 9h à 18h en Amphithéâtre Hermite de l'IHP (11 rue Pierre et Marie Curie, Paris 5e) sur le thème : Preuve mathématique et sûreté logicielle.

C'est Hugo Herbelin (Inria, IRIF) qui a coordonné cette édition. Les organisateurs remercient Catherine Dubois (ENSIIE) et Xavier Leroy (Collège de France) pour leur aide.

En savoir plus

Pas d'Horizon Maths en 2023

À l'automne 2023, la FSMP décide d'échanger les dates de ses conférences annuelles Mathématiques en mouvement et Horizon Maths : la première se tiendra désormais en automne, la seconde au printemps. Cette année de transition a donc vu deux conférences Mathématiques en mouvement (printemps et automne) tandis que le public d'Horizon Maths a dû patienter jusqu'au printemps 2024.

La journée Horizon Maths 2022, sur le thème Mathématiques et Gravitation, aura lieu le mardi 6 décembre 2022 de 9h à 17h à Sorbonne Université (4 place Jussieu 75005 Paris), Amphithéâre 25. Cette conférence est organisée sous la houlette de Jérôme Pérez (ENSTA Paris) et Emmanuel Trélat (Sorbonne Université).

En savoir plus

La journée Horizon Maths 2021, sur le thème Mathématiques et Transports, a eu lieu le mardi 30 novembre 2021 de 9h à 18h à l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris, voir l'accès ici). Cette conférence était organisée sous la houlette de Fabien Leurent (ENPC, Chaire Île-de-France Mobilités) et Bertrand Maury (ENS-PSL et Université Paris-Saclay).

En savoir plus

Pas d'Horizon Maths en 2020

En raison de l'épidémie de COVID 19, il n'y a pas eu de conférence Horizon Maths en 2020

L'édition 2017 d'Horizon Maths est organisée avec Huawei sous la houlette de Gabriel Peyré (DMA, CNRS, ENS) et Merouane Debbah (Huawei), sur le thème Mathématiques et réseaux. Cette journée de conférences se tiendra le 30 novembre 2017 de 9h à 17h à l'Institut Henri Poincaré (11, rue Pierre et Marie Curie, 75005 Paris).

En savoir plus

Pas d'Horizon Maths en 2016

Exceptio­nnellement, il n'y a pas eu d'édition d'Horizon Maths en 2016, la FSMP était co‑orga­nisatrice avec l'IHP du grand colloque Mathéma­tiques, oxygène du numérique

Horizon Maths 2015 : Santé et Données, chez IBM France

Horizon Maths 2015 - Santé et données. Une conférence organisée par la Fondation Sciences Mathématiques de Paris et IBM France les 14 et 15 décembre 2015 à IBM.

En savoir plus

Horizon Maths 2014 avec IFP Energies nouvelles (IFPEN)
Horizon Maths 2013 avec GDF Suez

Horizon Maths 2013 Conférences organisées par la FSMP et GDF SUEZ les 16 et 17 décembre 2013 à GDF SUEZ Thèmes abordés : Big data, Réduction de modèles, Théorie des jeux à champs moyens (mean field games theory), Problèmes en grandes dimensions, Marchés incomplets, Apprentissage.

En savoir plus

Horizon Maths 2012 avec Total

Nouveaux modèles de climat, discrétisation des équations de la physique, en relation avec l'évolution des calculateurs, par Thomas Dubos (LMD, Ecole Polytechnique). Horizon Maths 2012, 19 et 20 décembre 2012 à l’Auditorium de Total - Conférences organisées par la FSMP et Total autour de deux thèmes : l’optimisation et le calcul massivement parallèle.

En savoir plus

Horizon Maths 2011 avec Areva

Euler 2D dans des domaines non réguliers par Christophe Lacave (IMJ, U. paris-Diderot). Une vidéo proposée dans le cadre des journées Horizon Maths 2011, organisées les 12 et 13 décembre 2011 par la Fondation Sciences Mathématiques de Paris, en partenariat avec AREVA.

En savoir plus

Horizon Maths 2010 avec EADS

Mesure et comptage des courbes planes réelles, par Jean-Yves Welschinger. Un exposé présenté lors de Horizon Maths 2010, deux journées de conférences mathématiques en direction des industriels organisées par la Fondation Sciences Mathématiques de Paris et EADS.

En savoir plus

L'édition 2019 d'Horizon Maths a eu lieu le mardi 3 décembre 2019 de 9h à 17h dans l'amphithéâtre Charpak de Sorbonne Université (4, place Jussieu, Paris 5e).

En savoir plus