undefined

< Back to search results

Solving Proof Block Problems Using Large Language Models

Year of publication

2024

Authors

Poulsen, Seth; Sarsa, Sami; Prather, James; Leinonen, Juho; Becker, Brett A.; Hellas, Arto; Denny, Paul; Reeves, Brent N.

Organizations and authors

Aalto University

Hellas Arto

Sarsa Sami Orcid -palvelun logo

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Parent publication name

SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education

Conference

ACM Technical Symposium on Computer Science Education

Publisher

ACM

Pages

1063-1069

ISBN

979-8-4007-0423-9

​Publication forum

5098

​Publication forum level

1

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Partially open publication channel

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Keywords

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

No

DOI

10.1145/3626252.3630928

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes