Spain

ECAI 2020

Verification of Neural Networks: Enhancing Scalability through Pruning

formal verification

neural networks

pruning

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.

technical paper

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Applying the Closed World Assumption to SUMO-based FOL Ontologies for Effective Commonsense Reasoning

Group Behavior Recognition Using Attention- and Graph-Based Neural Networks

How Much Knowledge is in a Knowledge Base? Introducing Knowledge Measures (Preliminary Report)

Human Activity Recognition from Wearable Sensor Data Using Self-Attention

Learning Temporal Action Models via Constraint Programming

Finite and Con dent Teaching in Expectation: Sampling from In finite Concept Classes

A Shared-Word Sensitive Sequence-to-Sequence Features Extractor for Sentences Matching

A Convergent Off-Policy Temporal Difference Algorithm

BTDE: Block Term Decomposition Embedding for Link Prediction in Knowledge Graph

https://d3smihljt9218e.cloudfront.net/transcript/1780/subtitle/902d18e433128e4f0d8916dd97c38ee5.vtt

English (automatic)

Verification of Neural Networks: Enhancing Scalability through Pruning

Downloads

Next from ECAI 2020

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Similar lecture

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Verification of Neural Networks: Enhancing Scalability through Pruning

.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

Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control Paradigm

Similar lecture

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

Downloads