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