15 misformalizations in PutnamBench (roughly 2% of benchmark) have been fixed, thanks to Logical Intelligence for contributing the changes, which were identified by their Aleph Prover system (as it happens, also presently the strongest approach on the PB leaderboard)!