Search Results for author: Jianwen Li

Found 4 papers, 0 papers with code

Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning

no code implementations13 Jun 2021 Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen

Formally verifying Deep Reinforcement Learning (DRL) systems is a challenging task due to the dynamic continuity of system behaviors and the black-box feature of embedded neural networks.

FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction

no code implementations13 Jun 2020 Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Lei Ma, Xiaofei Xie, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

At this moment, GAN-based image generation methods are still imperfect, whose upsampling design has limitations in leaving some certain artifact patterns in the synthesized image.

DeepFake Detection Face Swapping +2

FakeLocator: Robust Localization of GAN-Based Face Manipulations

no code implementations27 Jan 2020 Yihao Huang, Felix Juefei-Xu, Run Wang, Qing Guo, Xiaofei Xie, Lei Ma, Jianwen Li, Weikai Miao, Yang Liu, Geguang Pu

To the best of our knowledge, this is the very first attempt to solve the GAN-based fake localization problem with a gray-scale fakeness prediction map that preserves more information of fake regions.

Face Generation Semantic Segmentation

Symbolic LTLf Synthesis

no code implementations23 May 2017 Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

LTLf synthesis is the process of finding a strategy that satisfies a linear temporal specification over finite traces.

Cannot find the paper you are looking for? You can Submit a new open access paper.