Autoformalization of Game Descriptions using Large Language Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Downloads (Pure)
Original languageEnglish
Title of host publicationIn First International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning. Workshop of KR 24. Hanoi, Vietnam
DOIs
Publication statusPublished - 2024

Cite this