PutnamBench'te 15 yanlış biçimlendirme (kıyaslamanın yaklaşık %2'si) düzeltildi; bu değişiklikleri katkı sağladığı için Logical Intelligence'ın katkısı oldu; bu değişiklikler Aleph Prover sistemi tarafından belirlendi (ki şu anda PB liderlik tablosunda en güçlü yaklaşım da bu)!