VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianan Ma, Pengfei Yang, Jingyi Wang, Youcheng Sun, Cheng-Chao Huang, Zhen Wang. VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]

This author has not been identified. Look up 'Jianan Ma' in GoogleThis author has not been identified. Look up 'Pengfei Yang' in GoogleThis author has not been identified. It may be one of the following persons:

Jingyi Wang

Look up 'Jingyi Wang' in GoogleThis author has not been identified. Look up 'Youcheng Sun' in GoogleThis author has not been identified. Look up 'Cheng-Chao Huang' in GoogleThis author has not been identified. Look up 'Zhen Wang' in Google

runs on WebDSL