Xingzhi Qi

According to our database, Xingzhi Qi authored at least 3 papers between 2015 and 2025.

Collaborative distances:

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

2025

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving.

Qi Liu, Xinhao Zheng, Renqiu Xia, Xingzhi Qi, Qinxiang Cao, Junchi Yan

CoRR, May, 2025

2016

Vehicle detection in urban traffic scenes using the Pixel-Based Adaptive Segmenter with Confidence Measurement.

Yunsheng Zhang, Chihang Zhao, Ai-Wei Chen, Xingzhi Qi

J. Intell. Fuzzy Syst., 2016

2015

Recognition of driving postures by nonsubsampled contourlet transform and k-nearest neighbor classifier.

Chihang Zhao, Jie He, Xiaoqin Zhang, Xingzhi Qi, Aiwen Chen

Comput. Syst. Sci. Eng., 2015