Xidan Song

According to our database, Xidan Song authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

Counterexample Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023

QNNRepair: Quantized Neural Network Repair.

Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

AIREPAIR: A Repair Platform for Neural Networks.

Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

CEG4N: Counter-Example Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.

Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

Verifying Quantized Neural Networks using SMT-Based Model Checking.

Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2021