Fuqi Jia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | LLM-Guided Quantified SMT Solving over Uninterpreted Functions. | Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2025 | AAAI | A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. | Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2025 | EMNLP | ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming. | Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2024 | TASE | Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. | Siqi Wang, Changwen Li, Tiantian Sun, Fuqi Jia, Rongjie Yan, Jun Yan |
| 2023 | AAAI | Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). | Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang |
| 2023 | ISSTA | Improving Bit-Blasting for Nonlinear Integer Constraints. | Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2023 | PRICAI | Investigating the Existence of Holey Latin Squares via Satisfiability Testing. | Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang |
| 2022 | AAAI | Word Level Robustness Enhancement: Fight Perturbation with Perturbation. | Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang |
| 2022 | ISSTA | ε-weakened robustness of deep neural networks. | Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |