15 misformalizaties in PutnamBench (ongeveer 2% van de benchmark) zijn opgelost, dankzij Logical Intelligence voor het bijdragen van de wijzigingen, die zijn geïdentificeerd door hun Aleph Prover-systeem (toevallig ook momenteel de sterkste aanpak op de PB-leiderbord)!