New
NSF CAREER award
UT Austin · Robotics & ML
We build learning, reasoning, and verification for fleets of robots and AI agents.
Research
What we work on
-
Swarm Coordination & Fleet Learning
From cooperative planning to collective data collection.
-
Edge–Cloud Systems for Embodied AI
Efficient perception and inference across networks.
-
Neuro-Symbolic Video Understanding
Grounding foundation models in temporal logic.
-
Trustworthy & Verifiable Machine Learning
Formal and cryptographic guarantees for AI models.
-
Time-Series Generation & Forecasting
Conditional, constrained generation of temporal data.
Latest
News
-
Hemanth Ram and Sai Shankar Narasimhan's paper TSFM Meets LLM: Context as Covariates (CoCo) was accepted to NeurIPS 2026! Read the blog post and explore the code. New
-
Oguzhan B.'s paper TensorCommitments: A Lightweight Verifiable Inference for Language Models was accepted to NeurIPS 2026! Read the blog post and explore the code.
-
Oguzhan B.'s paper AttentionViG: Cross-Attention-Based Dynamic Neighbor Aggregation in Vision GNNs was accepted to the Fifth Learning on Graphs Conference (LoG 2026)! Read the blog post.
-
Sandeep Chinchali received the NSF CAREER award for "CAREER: Foundations of Cloud Robotics – Where Neural Networks Meet Physical Networks". Read the UT ECE announcement. award
-
Po-han's paper UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles was nominated for the best paper award at AAMAS 2026!
-
Po-han passed his PhD defense. defense
Lab life
Out in the field
-
CoRL 2022, Auckland -
GLOBECOM 2025, Taipei -
CoRL 2022, Auckland -
RSS 2022, New York -
CoRL 2022, Auckland -
RSS 2022, Times Square -
CoRL 2022, Auckland -
CoRL 2022, Auckland
Supported by
