Autoformalization of Game Descriptions using Large Language Models

Open in new window