[MLSN #6]: Transparency survey, provable robustness, ML models that predict the future — LessWrong