Fuqi Jia

Orcid: 0000-0001-9947-2187

According to our database1, Fuqi Jia authored at least 11 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems.
Proceedings of the Theoretical Aspects of Software Engineering, 2024

Parallel Verification for δ-Equivalence of Neural Network Quantization.
Proceedings of the AI Verification - First International Symposium, 2024

2023
Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
ε-weakened robustness of deep neural networks.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Can Graph Neural Networks Learn to Solve MaxSAT Problem?
CoRR, 2021


  Loading...