Scholar
Fuqi Jia
Google Scholar ID: 4fPpMeEAAAAJ
Institute of Software Chinese Academy of Sciences
Citations & Impact
Citations
78
H-index
5
i10-index
5
Publications
16
Co-authors
5
list available
Publications
Resume (English only)
Academic Achievements
- Paper selected for oral presentation at AAAI 2025
- Full paper accepted by NeurIPS 2023
- Received ACM SIGSOFT Distinguished Paper Award at ISSTA 2023
- Best Student Abstract Honorable Mention Award at AAAI 2023 Student Abstract and Poster Program
- Published multiple papers on SMT solving, automated reasoning, neural network verification, and symbolic-ML integration in top-tier venues including AAAI, NeurIPS, ISSTA, FMCAD, TASE, SAIV, PRICAI, and ASE
