Solving Proof Block Problems Using Large Language Models
Publiceringsår
2024
Upphovspersoner
Poulsen, Seth; Sarsa, Sami; Prather, James; Leinonen, Juho; Becker, Brett A.; Hellas, Arto; Denny, Paul; Reeves, Brent N.
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education
Förläggare
Sidor
1063-1069
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Delvis öppen publikationskanal
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1145/3626252.3630928
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja