Solving Proof Block Problems Using Large Language Models
Julkaisuvuosi
2024
Tekijät
Poulsen, Seth; Sarsa, Sami; Prather, James; Leinonen, Juho; Becker, Brett A.; Hellas, Arto; Denny, Paul; Reeves, Brent N.
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education
Kustantaja
Sivut
1063-1069
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Osittain avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1145/3626252.3630928
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä