Formal verification of tree-based machine learning models for lateral spreading

ArXi:2603.16983v1 Announce Type: new Machine learning models for geotechnical hazard prediction can achieve high accuracy while learning physically inconsistent relationships from sparse or biased