activity
20242026
most citedLLMs as Probabilistic Minimally Adequate Teachers for DFA Learning

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.AI2026

CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action

Lekai Chen, Alvaro Velasquez, Ashutosh Trivedi

Natural-language tasking of embodied agents is rarely just goal specification: users also impose constraints that must persist while the world changes. Code-generating LLM agents c…