Aller au contenu principal
A propos d'HEC A propos d'HEC
Summer School Summer School
Faculté et Recherche Faculté et Recherche
Bachelor Programs Bachelor Programs
MBA Programs MBA Programs
Programme PhD Programme PhD
Executive Education Executive Education
HEC Online HEC Online
A propos d'HEC
En bref En bref
Qui sommes-nous ? Qui sommes-nous ?
Egalité des chances Egalité des chances
HEC Talents HEC Talents
International International
Sustainability Sustainability
Diversité et inclusion Diversité et inclusion
Fondation HEC Fondation HEC
Vie du campus Vie du campus
Rapport d'activité Rapport d'activité
Summer School
Youth programs Youth programs
Summer programs Summer programs
Online Programs Online Programs
Faculté et Recherche
À propos À propos
Corps professoral Corps professoral
Départements Départements
Centres Centres
Chaires Chaires
Financements Financements
Knowledge@HEC Knowledge@HEC
Grande Ecole
& Masters
Grande Ecole
Master in Management
Grande Ecole
Master in Management
Programmes
Masters
Programmes
Masters
Doubles
Diplômes
Doubles
Diplômes
Programmes
Bachelor
Programmes
Bachelor
Programmes
Summer
Programmes
Summer
Exchange
students
Exchange
students
Vie
Etudiante
Vie
Etudiante
Notre
différence
Notre
différence
Bachelor Programs
Vue d'ensemble Vue d'ensemble
Course content Course content
Admissions Admissions
Fees and Financing Fees and Financing
MBA Programs
MBA MBA
Executive MBA Executive MBA
TRIUM EMBA TRIUM EMBA
Programme PhD
Overview Overview
HEC Difference HEC Difference
Program details Program details
Research areas Research areas
HEC Community HEC Community
Placement Placement
Job Market Job Market
Admissions Admissions
Financing Financing
FAQ FAQ
Executive Education
Accueil Accueil
Qui sommes-nous ? Qui sommes-nous ?
Univers de formation Univers de formation
Programmes Programmes
Offres entreprises Offres entreprises
Événements/Actualités Événements/Actualités
Contacts Contacts
HEC Online
En bref En bref
Programmes Executive Programmes Executive
MOOCs MOOCs
Summer Programs Summer Programs
Youth programs Youth programs
Faculté et Recherche

Optimization approaches for bounding and certifying neural networks

03 oct
2024
11H15 - 12H30
Jouy-en-Josas
Anglais

Participer

Ajouter au calendrier
2024-10-03T11:15:00 2024-10-03T12:30:00 Optimization approaches for bounding and certifying neural networks Information Systems and Operations Management  Speaker: Calvin Tsay (Imperial) Room Bernard Ramanantsoa  Jouy-en-Josas

Information Systems and Operations Management 

Intervenant: Calvin Tsay (Imperial)

Salle Bernard Ramanantsoa 

Abstract

Neural networks are central to many machine learning methods and engineering applications, but they generally lack guarantees on their properties/performance. Formal certification of neural networks is crucial for ensuring safety, particularly when deploying them in safety-critical domains such as autonomous vehicles. This talk outlines how mathematical optimization provides a framework to certify properties of neural networks, i.e., by solving (or bounding) a mixed-integer program based on the network. While mixed-integer programming suffers from scalability issues, we review how bound-tightening techniques and efficient relaxations can help improve tractability. Throughout this talk, we focus on two key applications: (1) certifying performance of neural network controllers, and (2) bounding the effects of data poisoning/manipulation during training. For the latter, we leverage convex relaxations to over-approximate the set of possible parameter updates, effectively bounding the set of all reachable parameters under data manipulation. We demonstrate our approach on multiple real-world datasets from applications including energy consumption, medical imaging, and autonomous driving.

Participer

Ajouter au calendrier
2024-10-03T11:15:00 2024-10-03T12:30:00 Optimization approaches for bounding and certifying neural networks Information Systems and Operations Management  Speaker: Calvin Tsay (Imperial) Room Bernard Ramanantsoa  Jouy-en-Josas