15 kesalahan formalisasi di PutnamBench (sekitar 2% dari tolok ukur) telah diperbaiki, berkat Logical Intelligence karena menyumbangkan perubahan, yang diidentifikasi oleh sistem Aleph Prover mereka (kebetulan, juga saat ini merupakan pendekatan terkuat di papan peringkat PB)!