Search Results - "Verification and Program Analysis for Machine Learning Models"

Verifiable Learning for Robust Tree Ensembles

Authors: Calzavara S. Cazzaro L. Pibiri G. E. et al.

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

Subject Terms: 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)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2305.03626