Xidan Song

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Quantization Step

Refinement Process

Top Venues

Publications

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. SEFM (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
QNNRepair: Quantized Neural Network Repair. CoRR (2023)
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
AIREPAIR: A Repair Platform for Neural Networks. CoRR (2022)
Edoardo Manino, Danilo Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Lujan, Xiaowei Huang, Lucas C. Cordeiro
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV (2022)
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR (2022)
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)