贾富琦
博士后
自动推理与约束求解
组内经历
2026–至今
博士后
2020–2026
博士
论文
2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025CCF BWeichun ShiMinghao LiuWanting ZhangLangchen ShiFuqi JiaFeifei MaJian Zhang
2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems
TASE 2024CCF CSiqi WangChangwen LiTiantian SunFuqi JiaRongjie YanJun YanInvestigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023CCF CMinghao LiuRui HanFuqi JiaPei HuangFeifei MaHantao ZhangJian ZhangParallel Verification for δ-Equivalence of Neural Network Quantization
SAIV 2024（与 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 2023CCF AFuqi JiaRui HanPei HuangMinghao LiuFeifei MaJian Zhang
2022
𝜀 -weakened robustness of deep neural networks
ISSTA 2022CCF APei HuangYuting YangMinghao LiuFuqi JiaFeifei MaJian ZhangWord Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022CCF APei HuangYuting YangFuqi JiaMinghao LiuFeifei MaJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。