( en | de | ru )

 

Disambiguation of "Xue, Anton"

Author of the publication

copydeleteadd this publication to your clipboard
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks.

, , , , , and . CDC, page 3389-3396. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xue Xue Zhang

Cheng Xue

Jia Xue

Min Xue

Yida Xue

 

Other publications of authors with the same name

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