Wojtowicz, Z. and DeDeo, S. 2025. Undermining Mental Proof: How AI Can Make Cooperation Harder by Making Thinking Easier. Proceedings of the AAAI Conference on Artificial Intelligence. 39, 2 (Apr. 2025), 1592–1600. DOI:https://doi.org/10.1609/aaai.v39i2.32151.