Who is betting on what in AI, and against whom.
Researcher
Arizona State professor and planning researcher whose experiments argue that language models cannot plan on their own, and that they belong inside a verified 'LLM-Modulo' loop.
Known for LLM-Modulo; Planning