Seth Poulsen, Sami Sarsa, James Prather, Juho Leinonen 0001, Brett A. Becker, Arto Hellas, Paul Denny 0001, Brent N. Reeves. Solving Proof Block Problems Using Large Language Models. In Ben Stephenson, Jeffrey A. Stone, Lina Battestilli, Samuel A. Rebelsky, Libby Shoop, editors, Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 1, Portland, OR, USA, March 20-23, 2024. pages 1063-1069, ACM, 2024. [doi]
Abstract is missing.