Xidan Song

11 papers B 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Beyond Accuracy: A Geometric Stability Analysis of Large Language Models in Chess Evaluation.
CoRR
Xidan Song, Weiqi Wang, Ruifeng Cao, Qingya Hu
2024 J jnl
Counterexample Guided Neural Network Quantization Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2023 — conf
AIREPAIR: A Repair Platform for Neural Networks.
ICSE Companion
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 B conf
QNNRepair: Quantized Neural Network Repair.
SEFM
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
QNNRepair: Quantized Neural Network Repair.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
AIREPAIR: A Repair Platform for Neural Networks.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 — conf
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
NSV/FoMLAS@CAV
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 J jnl
CEG4N: Counter-Example Guided Neural Network Quantization Refinement.
CoRR
João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
2022 — conf
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
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
2021 J jnl
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.
CoRR
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
2021 J jnl
Verifying Quantized Neural Networks using SMT-Based Model Checking.
CoRR
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro