The leaderboard in machine learning competitions is a tool to show the performance of various participants and to compare them. However, the leaderboard quickly becomes no longer accurate, due to hack or overfitting. This article gives two advices to avoid this. It also points out that the Ladder leaderboard successfully prevents this with Õ( −3) samples in the validation set.

The SAT solver Contrasat is a small variation of the well-established Minisat solver. It was entered in the Minisat hack track of the 2011 SAT competition, and was judged to be first place in one category. This paper describes the code change and its motivation. The characterization as “contrarian” is explained. Experimental results are summarized.

the purpose of study was the comparison of hormonal responses to resistance training with and without blood flow restriction. 14 girl students took part in a crossover design study. the subjects in 3 successive weeks randomly assigned in 3 states: control (con), traditional strength training (tst) and strength training with blood flow restriction (str). exercise was included leg extension, leg ...