Publications

Please see my Google Scholar for a full list of publications.

2024

  1. Preprint
    Control-oriented Clustering of Visual Latent Representation
    Qi, Han, Yin, Haocheng, and Yang, Heng
    arXiv preprint arXiv:2410.05063 2024
  2. Preprint
    The Benefit of Being Bayesian in Online Conformal Prediction
    Zhang, Zhiyu, Lu, Zhou, and Yang, Heng
    arXiv preprint arXiv:2410.02561 2024
  3. WAFR
    Fast and Certifiable Trajectory Optimization
    Kang, Shucheng, Xu, Xiaoyang, Sarva, Jay, Liang, Ling, and Yang, Heng
    International Workshop on the Algorithmic Foundations of Robotics 2024
  4. NeurIPS
    Fast TRAC: A Parameter-Free Optimizer for Lifelong Reinforcement Learning
    Muppidi, Aneesh, Zhang, Zhiyu, and Yang, Heng
    Conference on Neural Information Processing Systems 2024
  5. RSS
    CLOSURE: Fast Quantification of Pose Uncertainty Sets
    Gao, Yihuai, Tang, Yukai, Qi, Han, and Yang, Heng
    Robotics: Science and Systems (RSS) 2024
  6. ALT
    Improving adaptive online learning using refined discretization
    Zhang, Zhiyu,  Yang, Heng, Cutkosky, Ashok, and Paschalidis, Ioannis C
    In International Conference on Algorithmic Learning Theory 2024
  7. ICML
    Discounted Adaptive Online Learning: Towards Better Regularization
    Zhang, Zhiyu, Bombara, David, and Yang, Heng
    International Conference on Machine Learning 2024
  8. Preprint
    Sparse Polynomial Optimization with Unbounded Sets
    Huang, Lei, Kang, Shucheng, Wang, Jie, and Yang, Heng
    arXiv preprint arXiv:2401.15837 2024
  9. L4DC
    On the Nonsmooth Geometry and Neural Approximation of the Optimal Value Function of Infinite-Horizon Pendulum Swing-up
    Han, Haoyu, and Yang, Heng
    6th Annual Learning for Dynamics & Control Conference 2024
  10. L4DC
    Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid
    Tang, Yukai, Lasserre, Jean-Bernard, and Yang, Heng
    6th Annual Learning for Dynamics & Control Conference 2024
  11. RA-L
    SIM-Sync: From Certifiably Optimal Synchronization over the 3D Similarity Group to Scene Reconstruction with Learned Depth
    Yu, Xihang, and Yang, Heng
    IEEE Robotics and Automation Letters 2024

2023

  1. NeurIPS
    PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction
    Sharma, Apoorva, Veer, Sushant, Hancock, Asher,  Yang, Heng, Pavone, Marco, and Majumdar, Anirudha
    In Conference on Neural Information Processing Systems 2023
  2. CDC
    Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
    Kang, Shucheng, Chen, Yuxiao,  Yang, Heng, and Pavone, Marco
    In IEEE Conf. on Decision and Control (CDC) 2023
  3. CVPR
    Object Pose Estimation with Statistical Guarantees: Conformal Keypoint Detection and Geometric Uncertainty Propagation
    Yang, Heng, and Pavone, Marco
    In IEEE Conf. on Computer Vision and Pattern Recognition (CVPR) 2023
  4. TRO
    Optimal and Robust Category-level Perception: Object Pose and Shape Estimation from 2D and 3D Semantic Keypoints
    Shi, Jingnan,  Yang, Heng, and Carlone, Luca
    IEEE Transactions on Robotics 2023

2022

  1. NeurIPS-W
    Conformal Semantic Keypoint Detection with Statistical Guarantees
    Yang, Heng, and Pavone, Marco
    In NeurIPS Workshop on Robot Learning: Trustworthy Robotics 2022
  2. TPAMI
    Certifiably Optimal Outlier-Robust Geometric Perception: Semidefinite Relaxations and Scalable Global Optimization
    Yang, Heng, and Carlone, Luca
    IEEE Trans. Pattern Anal. Machine Intell. 2022
  3. Math. Program.
    An Inexact Projected Gradient Method with Rounding and Lifting by Nonlinear Programming for Solving Rank-One Semidefinite Relaxation of Polynomial Optimization
    Yang, Heng, Liang, Ling, Carlone, Luca, and Toh, Kim-Chuan
    Mathematical Programming 2022

2021

  1. ICCV
    Dynamical Pose Estimation
    Yang, Heng, Doran, Chris, and Slotine, Jean-Jacques
    In Intl. Conf. on Computer Vision (ICCV) 2021
  2. ICRA
    ROBIN: a graph-theoretic approach to reject outliers in robust estimation using invariants
    Shi, Jingnan,  Yang, Heng, and Carlone, Luca
    In IEEE Intl. Conf. on Robotics and Automation (ICRA) 2021
  3. CVPR
    Self-supervised geometric perception
    Yang, Heng, Dong, Wei, Carlone, Luca, and Koltun, Vladlen
    In IEEE Conf. on Computer Vision and Pattern Recognition (CVPR) 2021
  4. RSS
    Optimal Pose and Shape Estimation for Category-level 3D Object Perception
    Shi, Jingnan,  Yang, Heng, and Carlone, Luca
    In Robotics: Science and Systems (RSS) 2021
  5. TRO
    Outlier-robust estimation: Hardness, minimally tuned algorithms, and applications
    Antonante, Pasquale, Tzoumas, Vasileios,  Yang, Heng, and Carlone, Luca
    IEEE Transactions on Robotics 2021

2020

  1. NeurIPS
    One ring to rule them all: Certifiably robust geometric perception with outliers
    Yang, Heng, and Carlone, Luca
    Advances in neural information processing systems 2020
  2. RAL
    Graduated non-convexity for robust spatial perception: From non-minimal solvers to global outlier rejection
    Yang, Heng, Antonante, Pasquale, Tzoumas, Vasileios, and Carlone, Luca
    IEEE Robotics and Automation Letters 2020
  3. TRO
    Teaser: Fast and certifiable point cloud registration
    Yang, Heng, Shi, Jingnan, and Carlone, Luca
    IEEE Transactions on Robotics 2020
  4. CVPR
    In Perfect Shape: Certifiably Optimal 3D Shape Reconstruction from 2D Landmarks
    Yang, Heng, and Carlone, Luca
    In IEEE Conf. on Computer Vision and Pattern Recognition (CVPR) 2020

2019

  1. ICCV
    A quaternion-based certifiably optimal solution to the Wahba problem with outliers
    Yang, Heng, and Carlone, Luca
    In Proceedings of the IEEE/CVF International Conference on Computer Vision 2019
  2. RSS
    A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates
    Yang, Heng, and Carlone, Luca
    In Robotics: Science and Systems (RSS) 2019