{"total":13,"rows":[{"id":"2105.10278","title":"On Explaining Random Forests with SAT","created":"2021-05-21","cited_by_count":57,"area":null},{"id":"2104.02466","title":"A Review of Formal Methods applied to Machine Learning","created":"2021-04-06","cited_by_count":33,"area":null},{"id":"2112.00552","title":"SaDe: Learning Models that Provably Satisfy Domain Constraints","created":"2021-12-01","cited_by_count":3,"area":null},{"id":"2305.03626","title":"Verifiable Learning for Robust Tree Ensembles","created":"2023-05-05","cited_by_count":3,"area":null},{"id":"2105.02595","title":"Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles","created":"2021-05-06","cited_by_count":2,"area":null},{"id":"2207.02295","title":"Implementing Reinforcement Learning Datacenter Congestion Control in NVIDIA NICs","created":"2022-07-05","cited_by_count":2,"area":null},{"id":"2605.04671","title":"ITBoost: Information-Theoretic Trust for Robust Boosting","created":"2026-05-06","cited_by_count":2,"area":null},{"id":"2402.08586","title":"Faster Repeated Evasion Attacks in Tree Ensembles","created":"2024-02-13","cited_by_count":1,"area":null},{"id":"2206.11562","title":"A Geometric Method for Improved Uncertainty Estimation in Real-time","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2206.13083","title":"Adversarial Example Detection in Deployed Tree Ensembles","created":"2022-06-27","cited_by_count":0,"area":null},{"id":"2301.04452","title":"Uncertainty Estimation based on Geometric Separation","created":"2023-01-11","cited_by_count":0,"area":null},{"id":"2402.04892","title":"Probabilistic ML Verification via Weighted Model Integration","created":"2024-02-07","cited_by_count":0,"area":null},{"id":"2402.14988","title":"Verifiable Boosted Tree Ensembles","created":"2024-02-22","cited_by_count":0,"area":null}],"next_cursor":null}