External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Solving Proof Block Problems Using Large Language Models

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]

Authors

Seth Poulsen

This author has not been identified. Look up 'Seth Poulsen' in Google

Sami Sarsa

This author has not been identified. Look up 'Sami Sarsa' in Google

James Prather

This author has not been identified. Look up 'James Prather' in Google

Juho Leinonen 0001

This author has not been identified. Look up 'Juho Leinonen 0001' in Google

Brett A. Becker

This author has not been identified. Look up 'Brett A. Becker' in Google

Arto Hellas

This author has not been identified. Look up 'Arto Hellas' in Google

Paul Denny 0001

This author has not been identified. Look up 'Paul Denny 0001' in Google

Brent N. Reeves

This author has not been identified. Look up 'Brent N. Reeves' in Google
runs on