Výsledky vyhledávání - "Verification and Program Analysis for Machine Learning Models"

Verifiable Learning for Robust Tree Ensembles

Autoři: Calzavara S. Cazzaro L. Pibiri G. E. a další

Zdroj: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. :1850-1864

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Machine Learning and Security, Program Analysis for Machine Learning Models, Robustness, Verification, Statistics - Machine Learning, Verification and Program Analysis for Machine Learning Models, Machine Learning (stat.ML), Cryptography and Security (cs.CR), Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2305.03626