Announcement_2

My paper has been officially published in the proceedings of QCAV 2025.

• Wenqi Cai, Jun Yu, Yawen Zou, Chao Zhang, Improving the explainability of neural network by downstream post-optimization