( en | de | ru )

 

Disambiguierung von "Xue, Anton"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy counterfactual symbolic execution.

, , , , und . PLDI, Seite 411-424. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xue Xue Zhang

Jia Xue

Cheng Xue

Min Xue

Xue Tao

 

Weitere Publikationen von Autoren mit dem selben Namen

Stability Guarantees for Feature Attributions with Multiplicative Smoothing., , und . CoRR, (2023)Data-Driven System Level Synthesis., und . L4DC, Volume 144 von Proceedings of Machine Learning Research, Seite 189-200. PMLR, (2021)A Self-certifying Compilation Framework for WebAssembly., und . VMCAI, Volume 12597 von Lecture Notes in Computer Science, Seite 127-148. Springer, (2021)Lazy counterfactual symbolic execution., , , , und . PLDI, Seite 411-424. ACM, (2019)Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks., , , , , und . CDC, Seite 3389-3396. IEEE, (2022)Chordal sparsity for SDP-based neural network verification., , und . Autom., (2024)TYGR: Type Inference on Stripped Binaries using Graph Neural Networks., , , , , , , , , und 4 andere Autor(en). USENIX Security Symposium, USENIX Association, (2024)Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference., , , , und . CoRR, (2024)AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties., , , , und . CoRR, (2024)Synchronization Schemas., , , , , , , , und . PODS, Seite 1-18. ACM, (2021)