research Grammar-Forced LTL Translation Grammar-forced decoding for translating natural language to temporal logic using LLMs. NL-to-LTL Benchmark Suite A benchmark dataset and evaluation suite for verifiable natural language to linear temporal logic translation. Safety-Guided Flow Matching Neuro-symbolic safety guidance for vision-language-action models via constrained flow matching. school Person Following Robot A robot that autonomously follows a person using computer vision and control. fun D&D Character Editor Plugin for Joplin A Joplin plugin to manage Dungeons & Dragons 5e characters directly in your notes.