E-LIB Suche - Ergebnisse für: Song, Xidan

1

Counterexample Guided Neural Network Quantization Refinemen:

Matos, João Batista P. ; de Lima Filho, Eddie B. ; Bessa, Iury...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1121-1134 , 2024

Link: https://doi.org/10.1109/..

2

QNNRepair: Quantized Neural Network Repair:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 320-339 , 2023

Link: https://doi.org/10.1007/..

3

AIREPAIR: A Repair Platform for Neural Networks:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 98-101 , 2023

Link: https://doi.org/10.1109/..

4

CEG4N: Counter-Example Guided Neural Network Quantization R..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022

Link: https://doi.org/10.1007/..

5

AIREPAIR: A Repair Platform for Neural Networks:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
Song , X , Sun , Y , Mustafa , M A & Cordeiro , L C 2023 , AIREPAIR: A Repair Platform for Neural Networks . in 45th IEEE/ACM International Conference on Software Engineering .. , 2023

Link: https://research.manches..

6

QNNRepair: Quantized Neural Network Repair:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
http://arxiv.org/abs/2306.13793. , 2023

Link: http://arxiv.org/abs/230..

7

EnnCore: end-to-end conceptual guarding of neural architect..:

Manino, Edoardo ; Carvalho, Danilo ; Dong, Yi...
https://eprints.soton.ac.uk/484423/1/paper_9.pdf. , 2022

Link: https://eprints.soton.ac..

8

CEG4N: Counter-Example Guided Neural Network Quantization R..:

Matos Jr., João Batista P ; Bessa, Iury ; Manino, Edoardo..
http://arxiv.org/abs/2207.04231. , 2022

Link: http://arxiv.org/abs/220..

9

AIREPAIR: A Repair Platform for Neural Networks:

Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.
http://arxiv.org/abs/2211.15387. , 2022

Link: http://arxiv.org/abs/221..

10

Verifying Quantized Neural Networks using SMT-Based Model C..:

Sena, Luiz ; Song, Xidan ; Alves, Erickson...
http://arxiv.org/abs/2106.05997. , 2021

Link: http://arxiv.org/abs/210..

11

QNNVerifier: A Tool for Verifying Neural Networks using SMT..:

Song, Xidan ; Manino, Edoardo ; Sena, Luiz...
http://arxiv.org/abs/2111.13110. , 2021

Link: http://arxiv.org/abs/211..

12

AIREPAIR: A Repair Platform for Neural Networks:

Xidan Song ; Youcheng Sun ; Mustafa A. Mustafa.
doi:10.5281/zenodo.7627800. , 2023

Link: https://zenodo.org/recor..

13

Counter-Example Guided Neural Network Quantization Refineme..:

João Batista Pereira Matos Júnior ; Iury Bessa ; Edoardo Manino..
doi:10.5281/zenodo.6791963. , 2022

Link: https://zenodo.org/recor..

14

QNNVerifier: A Tool for Verifying Neural Networksusing SMT-..:

Xidan Song ; Edoardo Manino ; Luiz Sena...
doi:10.5281/zenodo.5724253. , 2021

Link: https://zenodo.org/recor..

15

Verifying Quantized Neural Networks using SMT-Based Model C..:

Luiz Sena ; Xidan Song ; Erickson Alves...
doi:10.5281/zenodo.5503819. , 2021

Link: https://zenodo.org/recor..