undefined

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

Aalto-universitetet

Hellas Arto

Sarsa Sami Orcid -palvelun logo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Ö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