This page has been replaced by the one at https://cse.osu.edu/people/bair.41.You will be redirected automatically.