Solving Proof Block Problems Using Large Language Models.

Seth Poulsen, Sami Sarsa, James Prather, Juho Leinonen, Brett A. Becker, Arto Hellas, Paul Denny, Brent N. Reeves

Browse the full SIGCSE paper archive.