6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.LG2020
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunovic +3
We present a scalable and precise verifier for recurrent neural networks, called Prover based on two novel ideas: (i) a method to compute a set of polyhedral abstractions for the n…
cs.AI2019★ 6 cited
Decision Making for Autonomous Driving via Augmented Adversarial Inverse Reinforcement Learning
Pin Wang, Dapeng Liu, Jiayu Chen +2
Making decisions in complex driving environments is a challenging task for autonomous agents. Imitation learning methods have great potentials for achieving such a goal. Adversaria…