Johnathan Chiu
University of California, Berkeley
6 Papers
Johnathan Chiu is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Computer science & Debugging. The author has an hindex of 2, co-authored 3 publications.
Chat about Author
Papers
Structure and Content-Guided Video Synthesis with Diffusion Models
TL;DR: In this paper , a structure and content-guided video diffusion model is proposed that edits videos based on visual or textual descriptions of the desired output, which is trained on monocular depth estimates with varying levels of detail.
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel J. Fremont,Johnathan Chiu,Dragos D. Margineantu,Denis Osipychev,Sanjit A. Seshia +4 more
- 21 Jul 2020
TL;DR: In this article, the authors demonstrate a unified approach to rigorous design of safetycritical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems, including modeling, falsification, debugging, and ML component retraining.
•Posted Content
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
TL;DR: A unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems and the results of falsification and debugging are used to retrain the network, eliminating several failure cases and improving the overall performance of the closed-loop system.
Variable Length Embeddings
Johnathan Chiu,and Yueshu Gu +1 more
TL;DR: This article proposed Variable Length Embeddings (VLEs), an autoregressive model that can produce a latent representation composed of an arbitrary number of tokens for reconstruction and image decomposition tasks.
Designing a Recurrent Neural Network to Learn a Motion Planner for High-Dimensional Inputs
TL;DR: The main underlying goal of this paper is to demonstrate the potential uses of machine learning in the planning stack for autonomous vehicles (AV) and provide a baseline work for ongoing and future research.