500 citations
- Massachusetts Institute of TechnologyUS200 papers
- California Institute of TechnologyUS189 papers
- University of California SystemUS188 papers
- Universität HamburgDE186 papers
- Tsinghua UniversityCN185 papers
- Universidad Autónoma de MadridES184 papers
- University of FloridaUS184 papers
- University of ZurichCH184 papers
- Fermi National Accelerator LaboratoryUS182 papers
- Princeton UniversityUS182 papers
- University of Minnesota SystemUS182 papers
- Cornell UniversityUS181 papers
Showing 2020 · cs.AIShow all
3 papers · 2 filters
cs.AI2020★ 60 cited
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
Kaidi Xu, Huan Zhang, Shiqi Wang +4
Formal verification of neural networks (NNs) is a challenging and important problem. Existing efficient complete solvers typically require the branch-and-bound (BaB) process, which…
cs.AI2020★ 4 cited
Knowledge Graph Embedding with Atrous Convolution and Residual Learning
Feiliang Ren, Juchen Li, Huihui Zhang +4
Knowledge graph embedding is an important task and it will benefit lots of downstream applications. Currently, deep neural networks based methods achieve state-of-the-art performan…
cs.AI2020★ 9 cited
Consolidating Commonsense Knowledge
Filip Ilievski, Pedro Szekely, Jingwei Cheng +2
Commonsense reasoning is an important aspect of building robust AI systems and is receiving significant attention in the natural language understanding, computer vision, and knowle…