Theme 01
Swarm Coordination & Fleet Learning
From cooperative planning to collective data collection.
UT Austin · Robotics & ML
We build learning, reasoning, and verification for fleets of robots and AI agents.
Research
Theme 01
From cooperative planning to collective data collection.
Theme 02
Communication-efficient perception and inference across networks.
Theme 03
Grounding foundation models in temporal logic.
Theme 04
Formal and cryptographic guarantees for deployed models.
Theme 05
Conditional, constrained generation of temporal data.
Latest
Selected
TensorCommitments: A Lightweight Verifiable Inference for Language Models
@inproceedings{baser2026tensorcommitments,
title = {{TensorCommitments}: A Lightweight Verifiable Inference for Language Models},
author = {Baser, Oguzhan and Sadeghi, Elahe and Wang, Eric and Vergauwen, Nico and Kazemian, Sam and Kang, Hong and Chinchali, Sandeep P. and Vishwanath, Sriram},
booktitle = {Proceedings of the 40th Conference on Neural Information Processing Systems (NeurIPS 2026)},
year = {2026},
url = {https://arxiv.org/abs/2602.12630},
arxiv = {https://arxiv.org/abs/2602.12630},
pdf = {https://arxiv.org/pdf/2602.12630}
}
Neuro-symbolic evaluation of text-to-video models using formal verification
@inproceedings{sharan2025neuro,
title = {Neuro-symbolic evaluation of text-to-video models using formal verification},
author = {Sharan, SP and Choi, Minkyu and Shah, Sahil and Goel, Harsh and Omama, Mohammad and Chinchali, Sandeep},
booktitle = {Proceedings of the Computer Vision and Pattern Recognition Conference},
year = {2025},
url = {https://arxiv.org/abs/2411.16718},
arxiv = {https://arxiv.org/abs/2411.16718}
}
Distributed Upload and Active Labeling for Resource-Constrained Fleet Learning
@inproceedings{akcin2025dual,
title = {Distributed Upload and Active Labeling for Resource-Constrained Fleet Learning},
author = {Akcin, Oguzhan and Goel, Harsh and Zhao, Ruihan and Chinchali, Sandeep P.},
booktitle = {9th Annual Conference on Robot Learning},
year = {2025},
url = {https://openreview.net/forum?id=M1e2PEMLp2}
}
Time Weaver: A Conditional Time Series Generation Model
@inproceedings{narasimhan2024time,
title = {Time Weaver: A Conditional Time Series Generation Model},
author = {Narasimhan, Sai Shankar and Agarwal, Shubhankar and Akcin, Oguzhan and Sanghavi, Sujay and Chinchali, Sandeep P.},
booktitle = {Forty-first International Conference on Machine Learning},
year = {2024},
url = {https://openreview.net/forum?id=WpKDeixmFr},
arxiv = {https://arxiv.org/abs/2403.02682}
}
Lab life
Supported by








