Spain

ECAI 2020

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

symbolic interval propagation

verification of neural network

safeai

stages 

COLING, the International Conference on Computational Linguistics, is one of the premier conferences for natural language processing and computational linguistics. Often grouped within the field of artificial intelligence, but actually pre-dating the development of artificial intelligence, advances in computational linguistics and natural language processing are now some of the major drivers behind the use of artificial intelligence for commercial and social applications – for example, on-line search, machine translation and with voice-assisted conversational devices.

First established in 1965, the biennial COLING conference is held in diverse parts of the globe and attracts participants from both top-ranked research centers and emerging countries. Today, the most important developments in our field are taking place not only in universities and academic research institutes, but also in industrial research departments and in technological startups. COLING conferences provide opportunities for all these communities to showcase their exciting developments.

COLING 2020

COLING, the International Conference on Computational Linguistics, is one of the premier conferences for natural language processing and computational linguistics. Often grouped within the field of artificial intelligence, but actually pre-dating the development of artificial intelligence, advances in computational linguistics and natural language processing are now some of the major drivers behind the use of artificial intelligence for commercial and social applications – for example, on-line search, machine translation and with voice-assisted conversational devices.

technical paper

ECAI2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI, including:




**An extensive programme of workshops, tutorials, and invited speakers**

**The Prestigious Applications of Intelligent Systems conference (PAIS)**

**The Frontiers in AI track sessions**

**The Lab To Market event**

**The Women in AI time**

**The EU Challenges forum**

… and many more!

ECAI 2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI.

Conference Presentation Recording for ECAI2020 paper 'Adaptive Graph Reasoning Network for Fashion Landmark Detection'

Feature-level Ensemble Knowledge Distillation for Aggregating Knowledge from Multiple Networks

Crowd Counting via Hierarchical Scale Recalibration Network

Learning a Latent Space of Style-Aware Symbolic Music Representations by Adversarial Autoencoders

Adaptive Local Neighbors for Transfer Discriminative Feature Learning

Analysing Irresolute Multiwinner Voting Rules via SAT solving

DRNet: Dissect and Reconstruct the Convolutional Neural Network via Interpretable Manners

Learning Deterministic Automata on Infinite Words

Polynomial Neural Networks and Taylor maps for Dynamical Systems Simulation and Learning

Learning classifier chains using matrix regularization: application to multimorbidity prediction

https://d3smihljt9218e.cloudfront.net/transcript/986/subtitle/8a33cb8d43425f68c222331501cbea3b.vtt

English (automatic)

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

Downloads

Next from ECAI 2020

Conference Presentation Recording for ECAI2020 paper 'Adaptive Graph Reasoning Network for Fashion Landmark Detection'

Similar lecture

BioMedBERT: A Pre-trained Biomedical Language Model for QA and IR

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

.css-70qvj9{display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;-webkit-align-items:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;}Downloads

Next from ECAI 2020

Conference Presentation Recording for ECAI2020 paper 'Adaptive Graph Reasoning Network for Fashion Landmark Detection'

Similar lecture

BioMedBERT: A Pre-trained Biomedical Language Model for QA and IR

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Downloads