Changliu Liu

An Optical Control Environment for Benchmarking Reinforcement Learning Algorithms

2022 · arXiv (Cornell University)

Deep reinforcement learning has the potential to address various scientific problems. In this paper, we implement an optics simulation environment for reinforcement learning based controllers. The environment captures the essence of nonconvexity, nonlinearity, and time-dependent …

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)

2023 · arXiv (Cornell University)

This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP) held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools …