THE CONVEX RELAXATION BARRIER, REVISITED: TIGHTENED SINGLE-NEURON RELAXATIONS FOR NEURAL NETWORK VERIFICATION

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 26 of 27
1. Verfasser: Tjandraatmadja, Christian (VerfasserIn)
Weitere Verfasser: Anderson, Ross (VerfasserIn), Huchette, Joey (VerfasserIn), Ma, Will (VerfasserIn), Patel, Krunal Kishor (VerfasserIn), Vielma, Juan Pablo (VerfasserIn)
Pages:34
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
MATRIX COMPLETION WITH QUANTIFIED UNCERTAINTY THROUGH LOW RANK GAUSSIAN COPULA 2021 Zhao, Yuxuan
LEARNING BY MINIMIZING THE SUM OF RANKED RANGE 2021 Hu, Shu
ESCAPING THE GRAVITATIONAL PULL OF SOFTMAX 2021 Mei, Jincheng
POMO: POLICY OPTIMIZATION WITH MULTIPLE OPTIMA FOR REINFORCEMENT LEARNING 2021 Kwon, Yeong-Dae
LEARNING TO LEARN WITH FEEDBACK AND LOCAL PLASTICITY 2021 Lindsey, Jack
A MEASURE-THEORETIC APPROACH TO KERNEL CONDITIONAL MEAN EMBEDDINGS 2021 Park, Junhyung
RSKDD-NET: RANDOM SAMPLE-BASED KEYPOINT DETECTOR AND DESCRIPTOR 2021 Lu, Fan
A GROUP-THEORETIC FRAMEWORK FOR DATA AUGMENTATION 2021 Chen, Shuxiao
HOW DOES WEIGHT CORRELATION AFFECT GENERALISATION ABILITY OF DEEP NEURAL NETWORKS? 2021 Jin, Gaojie
NO-REGRET LEARNING IN PRICE COMPETITIONS UNDER CONSUMER REFERENCE EFFECTS 2021 Golrezaei, Negin
ENERGY-BASED OUT-OF-DISTRIBUTION DETECTION 2021 Liu, Weitang
USER-DEPENDENT NEURAL SEQUENCE MODELS FOR CONTINUOUS-TIME EVENT DATA 2021 Boyd, Alex
ON THE LOSS LANDSCAPE OF ADVERSARIAL TRAINING: IDENTIFYING CHALLENGES AND HOW TO OVERCOME THEM 2021 Liu, Chen
NEURAL UNSIGNED DISTANCE FIELDS FOR IMPLICIT FUNCTION LEARNING 2021 Chibane, Julian
FAST TRANSFORMERS WITH CLUSTERED ATTENTION 2021 Vyas, Apoorv
H-MEM: HARNESSING SYNAPTIC PLASTICITY WITH HEBBIAN MEMORY NETWORKS 2021 Limbacher, Thomas
THE CONVEX RELAXATION BARRIER, REVISITED: TIGHTENED SINGLE-NEURON RELAXATIONS FOR NEURAL NETWORK VERIFICATION 2021 Tjandraatmadja, Christian
AOT: APPEARANCE OPTIMAL TRANSPORT BASED IDENTITY SWAPPING FOR FORGERY DETECTION 2021 Zhu, Hao
STRONGLY INCREMENTAL CONSTITUENCY PARSING WITH GRAPH NEURAL NETWORKS 2021 Yang, Kaiyu
UNCERTAINTY-AWARE LEARNING FOR ZERO-SHOT SEMANTIC SEGMENTATION 2021 Hu, Ping
Alle Artikel auflisten