Parametric Signal Temporal Logic

LLMs Generate Formal Specs for Quadruped Robot Locomotion

Researchers have developed a novel method for training quadruped robots to walk using large language models (LLMs) to generate formal specifications. Instead of manually crafting reward functions, LLMs like GPT-5.5 and …