TY  - RPRT
TI  - Formal verification of tree-based machine learning models for lateral spreading
AU  - Krishna Kumar
PY  - 2026
UR  - https://arxiv.org/abs/2603.16983
ID  - 2603.16983
ER  -