-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic, Kinesis, Arnold), and build AI-based models
Searches related to agent based
Enter an email to receive alerts for agent-based positions