Publication

Sound and Complete Verification of Polynomial Networks

Publications associées (50)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Sound and Complete Verification of Polynomial Networks

Graph Chatbot

Chattez avec Graph Search

Structure-aware Multi-view 3D Reconstruction of Dislocations in TEM with Message Passing Neural Networks

Temporally-Coherent Surface Reconstruction via Metric-Consistent Atlases

Artificial Neural Network Approach to the Analytic Continuation Problem

Exact Preimages of Neural Network Aircraft Collision Avoidance Systems

AL2: Progressive Activation Loss for Learning General Representations in Classification Neural Networks

Efficient second-order methods for model compression

Supplementary Material - AL2: Progressive Activation Loss for Learning General Representations in Classification Neural Networks

Volumetric Transformer Networks

Deep Neural Networks With Trainable Activations and Controlled Lipschitz Constant

Controlling oscillations in spectral schemes using Artificial Neural Networks