Inproceedings,
Solving Proof Block Problems Using Large Language Models.
S. Poulsen, S. Sarsa, J. Prather, J. Leinonen, B. Becker, A. Hellas, P. Denny, and B. Reeves.SIGCSE (1), page 1063-1069. ACM, (2024)
Meta data
- BibTeX key
- conf/sigcse/PoulsenSP0BH0R24
- entry type
- inproceedings
- booktitle
- SIGCSE (1)
- year
- 2024
- pages
- 1063-1069
- publisher
- ACM
- crossref
- conf/sigcse/2024-1
- ee
- https://doi.org/10.1145/3626252.3630928
- url
- http://dblp.uni-trier.de/db/conf/sigcse/sigcse2024-1.html#PoulsenSP0BH0R24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigcse/PoulsenSP0BH0R24
%A Poulsen, Seth
%A Sarsa, Sami
%A Prather, James
%A Leinonen, Juho
%A Becker, Brett A.
%A Hellas, Arto
%A Denny, Paul
%A Reeves, Brent N.
%B SIGCSE (1)
%D 2024
%E Stephenson, Ben
%E Stone, Jeffrey A.
%E Battestilli, Lina
%E Rebelsky, Samuel A.
%E Shoop, Libby
%I ACM
%K dblp
%P 1063-1069
%T Solving Proof Block Problems Using Large Language Models.
%U http://dblp.uni-trier.de/db/conf/sigcse/sigcse2024-1.html#PoulsenSP0BH0R24
@inproceedings{conf/sigcse/PoulsenSP0BH0R24,
added-at = {2024-04-01T00:00:00.000+0200},
author = {Poulsen, Seth and Sarsa, Sami and Prather, James and Leinonen, Juho and Becker, Brett A. and Hellas, Arto and Denny, Paul and Reeves, Brent N.},
biburl = {https://www.bibsonomy.org/bibtex/249964d8d002580d5127ac2be23b97ef3/dblp},
booktitle = {SIGCSE (1)},
crossref = {conf/sigcse/2024-1},
editor = {Stephenson, Ben and Stone, Jeffrey A. and Battestilli, Lina and Rebelsky, Samuel A. and Shoop, Libby},
ee = {https://doi.org/10.1145/3626252.3630928},
interhash = {2f03fbf9ef7b9e186c1e19864b85012d},
intrahash = {49964d8d002580d5127ac2be23b97ef3},
keywords = {dblp},
pages = {1063-1069},
publisher = {ACM},
timestamp = {2024-04-09T17:34:37.000+0200},
title = {Solving Proof Block Problems Using Large Language Models.},
url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse2024-1.html#PoulsenSP0BH0R24},
year = 2024
}