Guoquan Mei

According to our database, Guoquan Mei authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022