UT Austin researchers present PUTNAMBENCH: a comprehensive AI benchmark for evaluating the capabilities of neural theorem provers with Putnam math problems 07/20/2024