Jianan Ma

According to our database, Jianan Ma authored at least 2 papers between 2011 and 2024.

Collaborative distances:

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

2024

VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.

Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2011

The investigation on the selection of measuring distance of acoustical holography.

Desen Yang, Xiaoxia Guo, Shengguo Shi, Jianan Ma

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011