Search Results - "Program Analysis for Machine Learning Models"

Verifiable Boosted Tree Ensembles

Authors: Calzavara S. Cazzaro L. Lucchese C. et al.

Source: 2025 IEEE Symposium on Security and Privacy (SP). :2057-2075

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

File Description: application/pdf

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

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