Fuqi Jia
Postdoctoral Fellow
Automated Reasoning and Constraint Solving
Group Experience
2026–Present
Postdoctoral Fellow
2020–2026
PhD
Publications
12 publications
Clear all filtersNo publications found
2025
2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024Siqi WangChangwen LiTiantian SunFuqi JiaRongjie YanJun YanInvestigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao LiuRui HanFuqi JiaPei HuangFeifei MaHantao ZhangJian ZhangParallel Verification for δ-Equivalence of Neural Network Quantization
SAIV 2024 (co-located with CAV)Pei HuangYuting YangHaoze WuIeva DaukantasMin WuFuqi JiaClark Barrett
2023
Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao LiuPei HuangFuqi JiaFan ZhangYuchen SunShaowei CaiFeifei MaJian ZhangACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi JiaRui HanPei HuangMinghao LiuFeifei MaJian Zhang
2022
𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao LiuFuqi JiaFeifei MaJian ZhangWord Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi JiaMinghao LiuFeifei MaJian Zhang