Fuqi Jia -

Registered user since Thu 13 Oct 2022

Name:Fuqi Jia

Country:China

Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Contributions

2023

ASE

Author of PSMT: Satisfiability Modulo Theories Meets Probability Distribution within the NIER Track-track
Author of NRAgo: Solving SMT(NRA) Formulas with Gradient-based Optimization within the Tool Demonstrations-track

ISSTA

Author of Improving Bit-Blasting for Nonlinear Integer Constraints within the Technical Papers-track

2022

ISSTA

Author of ε-weakened Robustness of Deep Neural Networks within the Technical Papers-track