Some remarks about machine learning and (un)natural proving
De Josef Urban
Towards autoformalization of textbook mathematics with natural proof checking
De De Lon Adrian
Robust, generalizable and causal-oriented machine learning
De Peter Bühlmann