article

DUET: Dual-Robot Understanding via Efficient Teaching

Yiqi Zhao*, Ruohai Ge*, Celina Shiyu Wang, Junjie Ye, Muchen Xu, Minhao Li, Sergey Zakharov, Basile Van Hoorick, Vitor Campagnolo Guizilini, Leonidas Guibas, Gaurav S. Sukhatme, Jyotirmoy V. Deshmukh, Yue Wang

Jun 14, 2026

PDF Cite Video Project
Conformal Predictive Programming for Chance Constrained Optimization
Conformal Predictive Programming for Chance Constrained Optimization

Yiqi Zhao*, Xinyi Yu*, Matteo Sesia, Jyotirmoy V. Deshmukh, Lars Lindemann

Currently under review in Automatica.

Feb 12, 2024

PDF Cite Code
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson

A pedagogical tool specifically developed to support learning and understanding of SAT and SMT solving.

Aug 15, 2023

PDF Cite Code