Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby. Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Software: Practice and Experience, 54(3):363-393, March 2024. [doi]
Abstract is missing.