Publications related to Sound and Complete Verification of Polynomial Networks

Residual-based attention in physics-informed neural networks

Nikolaos Stergiopoulos, Sokratis Anagnostopoulos

Driven by the need for more efficient and seamless integration of physical models and data, physics -informed neural networks (PINNs) have seen a surge of interest in recent years. However, ensuring the reliability of their convergence and accuracy remains ...

Lausanne2024

Aggregating Spatial and Photometric Context for Photometric Stereo

David Honzátko

Photometric stereo, a computer vision technique for estimating the 3D shape of objects through images captured under varying illumination conditions, has been a topic of research for nearly four decades. In its general formulation, photometric stereo is an ...

EPFL2024

Generalization of Scaled Deep ResNets in the Mean-Field Regime

Volkan Cevher, Grigorios Chrysos, Fanghui Liu

Despite the widespread empirical success of ResNet, the generalization properties of deep ResNet are rarely explored beyond the lazy training regime. In this work, we investigate scaled ResNet in the limit of infinitely deep and wide neural networks, of wh ...

2024

Error assessment of an adaptive finite elements-neural networks method for an elliptic parametric PDE

Marco Picasso, Alexandre Caboussat, Maude Girardin

We present a finite elements-neural network approach for the numerical approximation of parametric partial differential equations. The algorithm generates training data from finite element simulations, and uses a data -driven (supervised) feedforward neura ...

Lausanne2024

Task-driven neural network models predict neural dynamics of proprioception: Experimental data, activations and predictions of neural network models

Alexander Mathis, Alberto Silvio Chiappa, Alessandro Marin Vargas, Axel Bisi

Here we provide the neural data, activation and predictions for the best models and result dataframes of our article "Task-driven neural network models predict neural dynamics of proprioception". It contains the behavioral and neural experimental data (cu ...

EPFL Infoscience2024

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Caglar Gulcehre, Chang Chen

Diffusion-based generative methods have proven effective in modeling trajectories with offline datasets. However, they often face computational challenges and can falter in generalization, especially in capturing temporal abstractions for long- horizon tas ...

2024

Deep Learning Theory Through the Lens of Diagonal Linear Networks

Scott William Pesme

In this PhD manuscript, we explore optimisation phenomena which occur in complex neural networks through the lens of

2

-layer diagonal linear networks. This rudimentary architecture, which consists of a two layer feedforward linear network with a diagonal ...

EPFL2024

Reduced Training Data for Laser Ultrasound Signal Interpretation by Neural Networks

Romain Christophe Rémy Fleury, Janez Rus

The performance of machine learning algorithms is conditioned by the availability of training datasets, which is especially true for the field of nondestructive evaluation. Here we propose one reconfigurable specimen instead of numerous reference specimens ...

2024

Performing and Detecting Backdoor Attacks on Face Recognition Algorithms

Alexander Carl Unnervik

The field of biometrics, and especially face recognition, has seen a wide-spread adoption the last few years, from access control on personal devices such as phones and laptops, to automated border controls such as in airports. The stakes are increasingly ...

EPFL2024

Sound and Complete Verification of Polynomial Networks

Graph Chatbot

Chat with Graph Search

Residual-based attention in physics-informed neural networks

Aggregating Spatial and Photometric Context for Photometric Stereo

Generalization of Scaled Deep ResNets in the Mean-Field Regime

Error assessment of an adaptive finite elements-neural networks method for an elliptic parametric PDE

Task-driven neural network models predict neural dynamics of proprioception: Experimental data, activations and predictions of neural network models

Efficient Continual Finite-Sum Minimization

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Deep Learning Theory Through the Lens of Diagonal Linear Networks

Reduced Training Data for Laser Ultrasound Signal Interpretation by Neural Networks

Performing and Detecting Backdoor Attacks on Face Recognition Algorithms

Residual-based attention in physics-informed neural networks

Generalization of Scaled Deep ResNets in the Mean-Field Regime

Aggregating Spatial and Photometric Context for Photometric Stereo

Efficient Continual Finite-Sum Minimization

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Error assessment of an adaptive finite elements-neural networks method for an elliptic parametric PDE

Task-driven neural network models predict neural dynamics of proprioception: Experimental data, activations and predictions of neural network models

Deep Learning Theory Through the Lens of Diagonal Linear Networks

Reduced Training Data for Laser Ultrasound Signal Interpretation by Neural Networks

Performing and Detecting Backdoor Attacks on Face Recognition Algorithms