Segueix
Yuhao Zhang
Títol
Citada per
Citada per
Any
An empirical study on TensorFlow program bugs
Y Zhang, Y Chen, SC Cheung, Y Xiong, L Zhang
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
3362018
Detecting numerical bugs in neural network architectures
Y Zhang, L Ren, L Chen, Y Xiong, SC Cheung, T Xie
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
632020
BagFlip: A Certified Defense against Data Poisoning
Y Zhang, A Albarghouthi, L D'Antoni
Advances in Neural Information Processing Systems 35, 31474-31483, 2022
212022
MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks
S Srisakaokul, Y Zhang, Z Zhong, W Yang, T Xie
arXiv preprint arXiv:1809.00065, 2018
202018
Robustness to Programmable String Transformations via Augmented Abstract Training
Y Zhang, A Albarghouthi, L D'Antoni
Proceedings of the 37th International Conference on Machine Learning, ICML …, 2020
192020
Certified Robustness to Programmable Transformations in LSTMs
Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2102.07818, 2021
182021
Overwatch: learning patterns in code edit sequences
Y Zhang, Y Bajpai, P Gupta, A Ketkar, M Allamanis, T Barik, S Gulwani, ...
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 395-423, 2022
162022
Reliability assurance for deep neural network architectures against numerical defects
L Li, Y Zhang, L Ren, Y Xiong, T Xie
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
72023
PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2301.11824, 2023
32023
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2405.17361, 2024
2024
CodeFort: Robust Training for Code Generation Models
Y Zhang, S Wang, H Qian, Z Wang, M Shang, L Liu, SK Gouda, B Ray, ...
arXiv preprint arXiv:2405.01567, 2024
2024
Verified Training for Counterfactual Explanation Robustness under Data Shift
AP Meyer, Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2403.03773, 2024
2024
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–12