Tsoukalas, G., Lee, J., Jennings, J., Xin, J., Ding, M., Jennings, M., . . . Chaudhuri, S. (2024). PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
Chicago-Zitierstil (17. Ausg.)Tsoukalas, George, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, und Swarat Chaudhuri. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. 2024.
MLA-Zitierstil (9. Ausg.)Tsoukalas, George, et al. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.