4 citations · 4 across the 1 of their papers we have counts for
5 papers
ROLoad-PMP: Securing Sensitive Operations for Kernels and Bare-Metal Firmware
Wende Tan, Chenyang Li, Yangyu Chen +3
A common way for attackers to compromise victim systems is hijacking sensitive operations (e.g., control-flow transfers) with attacker-controlled inputs. Existing solutions in gene…
ELMER: Evolutionary Language Model that Explores and Refines
Matthew Siper, Ahmed Khalifa, Julian Togelius
Program evolution can measure whether a mutation helped, but it rarely controls how far the mutation moves in behavior space. Syntactic edit size is an unreliable proxy: a small co…
Continuous Program Search
Matthew Siper, Muhammad Umair Nasir, Ahmed Khalifa +3
Genetic Programming yields interpretable programs, but small syntactic mutations can induce large, unpredictable behavioral shifts, degrading locality and sample efficiency. We fra…
PuzzleJAX: A Benchmark for Reasoning and Learning
Sam Earle, Graham Todd, Yuchen Li +5
We introduce PuzzleJAX, a GPU-accelerated puzzle game engine and description language designed to support rapid benchmarking of tree search, reinforcement learning, and LLM reasoni…
ScriptDoctor: Automatic Generation of PuzzleScript Games via Large Language Models and Tree Search
Sam Earle, Ahmed Khalifa, Muhammad Umair Nasir +4
There is much interest in using large pre-trained models in Automatic Game Design (AGD), whether via the generation of code, assets, or more abstract conceptualization of design id…