NEUROSYMBOLIC REINFORCEMENT LEARNING WITH FORMALLY VERIFIED EXPLORATION

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 8 of 27
1. Verfasser: Anderson, Greg (VerfasserIn)
Weitere Verfasser: Verma, Abhinav (VerfasserIn), Dillig, Isil (VerfasserIn), Chaudhuri, Swarat (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
GAUSSIAN PROCESS BANDIT OPTIMIZATION OF THE THERMODYNAMIC VARIATIONAL OBJECTIVE 2021 Nguyen, Yu
WOODBURY TRANSFORMATIONS FOR DEEP GENERATIVE FLOWS 2021 Lu, You
STOCHASTIC DEEP GAUSSIAN PROCESSES OVER GRAPHS 2021 Li, Naiqi
GRAPH META LEARNING VIA LOCAL SUBGRAPHS 2021 Huang, Kexin
REVISITING PARAMETER SHARING FOR AUTOMATIC NEURAL CHANNEL NUMBER SEARCH 2021 Wang, Jiaxing
SOLVER-IN-THE-LOOP: LEARNING FROM DIFFERENTIABLE PHYSICS TO INTERACT WITH ITERATIVE PDE-SOLVERS 2021 Um, Kiwon
UNSUPERVISED DATA AUGMENTATION FOR CONSISTENCY TRAINING 2021 Xie, Oizhe
MINIBATCH VS LOCAL SGD FOR HETEROGENEOUS DISTRIBUTED LEARNING 2021 Woodworth, Blake E.
IMPROVING NATURAL LANGUAGE PROCESSING TASKS WITH HUMAN GAZE-GUIDED NEURAL ATTENTION 2021 Sood, Ekta
GENERATIVE 3D PART ASSEMBLY VIA DYNAMIC GRAPH LEARNING 2021 Huang, Jialei
THE POWER OF COMPARISONS FOR ACTIVELY LEARNING LINEAR CLASSIFIERS 2021 Hopkins, Max
FROM BOLTZMANN MACHINES TO NEURAL NETWORKS AND BACK AGAIN 2021 Goel, Surbhi
CRUSH OPTIMISM WITH PESSIMISM: STRUCTURED BANDITS BEYOND ASYMPTOTIC OPTIMALITY 2021 Jun, Kwang-Sung
NEURAL BRIDGE SAMPLING FOR EVALUATING SAFETY-CRITICAL AUTONOMOUS SYSTEMS 2021 Sinha, Aman
INTERPRETABLE AND PERSONALIZED APPRENTICESHIP SCHEDULING: LEARNING INTERPRETABLE SCHEDULING POLICIES FROM HETEROGENEOUS USER DEMONSTRATIONS 2021 Paleja, Rohan
FEDERATED PRINCIPAL COMPONENT ANALYSIS 2021 Grammenos, Andreas
SMYRF - EFFICIENT ATTENTION USING ASYMMETRIC CLUSTERING 2021 Daras, Giannis
(DE)RANDOMIZED SMOOTHING FOR CERTIFIABLE DEFENSE AGAINST PATCH ATTACKS 2021 Levine, Alexander
INTRODUCING ROUTING UNCERTAINTY IN CAPSULE NETWORKS 2021 Ribeiro, Fabio De Sousa
HYPERPARAMETER ENSEMBLES FOR ROBUSTNESS AND UNCERTAINTY QUANTIFICATION 2021 Wenzel, Florian
Alle Artikel auflisten