15 desformalizações no PutnamBench (cerca de 2% do benchmark) foram corrigidas, graças à Logical Intelligence por contribuir com as alterações, que foram identificadas pelo seu sistema Aleph Prover (como acontece, também é atualmente a abordagem mais forte na tabela de classificação do PB)!