Taylor Johnson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Changliu Liu
69 publications
Xiaodong Yang
41 publications
Stanley Bak
18 publications
Weiming Xiang
14 publications
Hoang-Dung Tran
12 publications
Stephan K. Chalup
6 publications
Alexandre Mendes
4 publications
Trent Houliston
3 publications
Josiah Walker
2 publications
Peter Turner
2 publications
Brendan Annable
1 publication

research

∙ 08/31/2021

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

This report summarizes the second International Verification of Neural N...

6 Stanley Bak, et al. ∙

research

∙ 03/02/2020

Reachability Analysis for Feed-Forward Neural Networks using Face Lattices

Deep neural networks have been widely applied as an effective approach t...

8 Xiaodong Yang, et al. ∙

research

∙ 03/27/2014

The NUbots Team Description Paper 2014

The NUbots team, from The University of Newcastle, Australia, has had a ...

0 Josiah Walker, et al. ∙