Sign in
Chencheng Xu
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Learning Speed
Neural Network
Formal Verification
Optimization Problems
Top Venues
CoRR
Bioinform.
CDC
ICLR
</>
Publications
</>
Chencheng Xu
,
Chengcheng Zhao
,
Zhiguo Shi
,
Jiming Chen
Formal Verification of Attitude Control Systems Using Geometric Barrier Functions.
CDC
(2023)
Chencheng Xu
,
Zhiwei Hong
,
Minlie Huang
,
Tao Jiang
Acceleration of Federated Learning with Alleviated Forgetting in Local Training.
CoRR
(2022)
Chencheng Xu
,
Zhiwei Hong
,
Minlie Huang
,
Tao Jiang
Acceleration of Federated Learning with Alleviated Forgetting in Local Training.
ICLR
(2022)
Chencheng Xu
,
Qiao Liu
,
Minlie Huang
,
Tao Jiang
Reinforced Molecular Optimization with Neighborhood-Controlled Grammars.
NeurIPS
(2020)
Chencheng Xu
,
Qiao Liu
,
Minlie Huang
,
Tao Jiang
Reinforced Molecular Optimization with Neighborhood-Controlled Grammars.
CoRR
(2020)
Chencheng Xu
,
Qiao Liu
,
Jianyu Zhou
,
Minzhu Xie
,
Jianxing Feng
,
Tao Jiang
Quantifying functional impact of non-coding variants with multi-task Bayesian neural network.
Bioinform.
36 (5) (2020)