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

153 Downloads (Pure)

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	Published - 2024

Access to Document

10.48550/arXiv.2409.12300

Accepted manuscriptAccepted author manuscript, 296 KB

Cite this

@inproceedings{bbaa477b95674f9d910ea5775febf41b,

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

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

year = "2024",

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

Y1 - 2024

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 -