3 papers
cs.AI2026
Ludax: A GPU-Accelerated Domain Specific Language for Board Games
Graham Todd, Alexander G. Padula, Dennis J. N. J. Soemers +1
Games have long been used as benchmarks and testing environments for research in artificial intelligence. A key step in supporting this research was the development of game descrip…
cs.AI2024
GAVEL: Generating Games Via Evolution and Language Models
Graham Todd, Alexander Padula, Matthew Stephenson +3
Automatically generating novel and interesting games is a complex task. Challenges include representing game rules in a computationally workable form, searching through the large s…
cs.CL2024
Exploring RL-based LLM Training for Formal Language Tasks with Programmed Rewards
Alexander G. Padula, Dennis J. N. J. Soemers
Proximal Policy Optimization (PPO) is commonly used in Reinforcement Learning from Human Feedback to align large language models (LLMs) with downstream tasks. This paper investigat…