15 misformalizzazioni in PutnamBench (circa il 2% del benchmark) sono state corrette, grazie a Logical Intelligence per aver contribuito alle modifiche, che sono state identificate dal loro sistema Aleph Prover (per inciso, attualmente è anche l'approccio più forte nella classifica PB)!