Picture for Samuel Chevalier

Samuel Chevalier

Achieving the Tightest Relaxation of Sigmoids for Formal Verification

Add code
Aug 22, 2024
Viaarxiv icon

Global Performance Guarantees for Neural Network Models of AC Power Flow

Add code
Nov 14, 2022
Viaarxiv icon

Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach

Add code
Sep 18, 2022
Figure 1 for Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach
Figure 2 for Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach
Figure 3 for Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach
Viaarxiv icon

Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems

Add code
Mar 14, 2022
Figure 1 for Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Figure 2 for Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Figure 3 for Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Figure 4 for Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Viaarxiv icon

Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment

Add code
Oct 28, 2021
Figure 1 for Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment
Figure 2 for Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment
Figure 3 for Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment
Figure 4 for Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment
Viaarxiv icon

Contracting Neural-Newton Solver

Add code
Jun 04, 2021
Figure 1 for Contracting Neural-Newton Solver
Figure 2 for Contracting Neural-Newton Solver
Figure 3 for Contracting Neural-Newton Solver
Figure 4 for Contracting Neural-Newton Solver
Viaarxiv icon