Autoformalization of Game Descriptions using Large Language Models

Agnieszka Mensfelt; Kostas Stathis; Vince Trencsenyi

doi:10.48550/arXiv.2409.12300

Autoformalization of Game Descriptions using Large Language Models

Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	In First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning. Workshop of KR 24. Hanoi, Vietnam
DOIs	https://doi.org/10.48550/arXiv.2409.12300
Publication status	Accepted/In press - 21 Aug 2024

Access to Document

10.48550/arXiv.2409.12300

Embargoed Document

Accepted manuscript
Accepted author manuscript, 296 KB
Embargo ends: 9/11/24

Cite this

@inproceedings{bbaa477b95674f9d910ea5775febf41b,

title = "Autoformalization of Game Descriptions using Large Language Models",

author = "Agnieszka Mensfelt and Kostas Stathis and Vince Trencsenyi",

year = "2024",

month = aug,

day = "21",

doi = "10.48550/arXiv.2409.12300",

language = "English",

booktitle = "In First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning. Workshop of KR 24. Hanoi, Vietnam",

}

TY - GEN

T1 - Autoformalization of Game Descriptions using Large Language Models

AU - Mensfelt, Agnieszka

AU - Stathis, Kostas

AU - Trencsenyi, Vince

PY - 2024/8/21

Y1 - 2024/8/21

U2 - 10.48550/arXiv.2409.12300

DO - 10.48550/arXiv.2409.12300

M3 - Conference contribution

BT - In First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning. Workshop of KR 24. Hanoi, Vietnam

ER -