Recent Redwood Research project proposals — LessWrong