Yunhao Yang is a Ph.D. student in computer science at The University of Texas at Austin. He started his Ph.D. program in Fall 2022. Prior to this, he received B.S. and M.S. degrees in computer science, and a B.A. in mathematics from UT Austin. His current research interests include formal methods in sequential decision-making, uncertainty quantification, and privacy in machine learning.

Yunhao Yang

yunhaoyang234@gmail.com

Department of Computer Science
The University of Texas at Austin
Austin, Texas
USA

Publications

Journal Publication

* Equal Contribution

Yunhao Yang*, Parham Gohari* and Ufuk Topcu. On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning
Proceedings on Privacy Enhancing Technologies 2023.

Yunhao Yang, Zhaokun Xue and Andrew Whinston. Self-Enhancing Multi-filter Sequence-to-Sequence Model
Procedia Computer Science, Elsevier, 2023.

Conference Proceeding

Yunhao Yang*, Neel Bhatt*, Tyler Ingebrand*, William Ward, Steven Carr, Zhangyang Wang and Ufuk Topcu. Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems
Annual Conference on Machine Learning and Systems (MLSys) 2024.

Yunhao Yang, Cyrus Neary and Ufuk Topcu. Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2024. Oral Presentation

Yunhao Yang and Andrew B Whinston. A Survey on Reinforcement Learning for Combinatorial Optimization
IEEE World Conference on Applied Intelligence and Computing (AIC) 2023.

Yunhao Yang, Yi Wang, Chandrajit Bajaj. Deep Contrastive Patch-Based Subspace Learning for Camera Image Signal Processing
IEEE World Conference on Applied Intelligence and Computing (AIC) 2023. Best Paper Award

Chandrajit Bajaj*, Yunhao Yang* and Yi Wang*. Recursive Self-Improvement for Camera Image and Signal Processing Pipeline
International Conference on Advances in Data-driven Computing and Intelligent Systems (ADCIS) 2022. Lecture Notes in Networks and Systems, Springer.

Yunhao Yang and Zhaokun Xue. Training Heterogeneous Features in Sequence to Sequence Tasks: Latent Enhanced Multi-filter Seq2Seq Model
Proceedings of Intelligent Systems Conference (IntelliSys) 2022. Lecture Notes in Networks and Systems, Springer. Best Student Paper Award

Yunhao Yang and Zhaokun Xue. Representation Learning in Sequence to Sequence Tasks: Multi-filter Gaussian Mixture Autoencoder
Proceedings of Future Technologies Conference (FTC) 2021. Lecture Notes in Networks and Systems, Springer.

Yunhao Yang and Andrew B Whinston. Identifying Mislabeled Images in Supervised Learning Utilizing Autoencoder
Proceedings of Future Technologies Conference (FTC) 2021. Lecture Notes in Networks and Systems, Springer.

Workshop

Yunhao Yang*, Neel Bhatt*, Tyler Ingebrand*, William Ward, Steven Carr, Zhangyang Wang and Ufuk Topcu. Fine-Tuning Language Models Using Formal Methods Feedback
Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models, NuCLeaR@AAAI 2024.

Yunhao Yang, Cyrus Neary and Ufuk Topcu. Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Foundation Models for Decision Making, FMDM@NeurIPS 2023.

Yunhao Yang, Jean-Raphael Gaglione, Cyrus Neary and Ufuk Topcu. Large Language Models for Verifiable Sequential Decision-Making in Autonomous Systems
Workshop on Language and Robot Learning Language as Grounding, LangRob@CoRL 2023.

Patent

Ufuk Topcu, Yunhao Yang, Cyrus Neary, and Jean-Raphaƫl Gaglione. Automaton-Based Controller and Method with Generative Language Models for Task Execution
US Patent Application No.63/602,380.

Preprint

Minkyu Choi, Harsh Goel, Mohammad Omama, Yunhao Yang, Sahil Shah and Sandeep P. Chinchali. Towards Neuro-Symbolic Video Understanding
Under Review at ECCV 2024.

Yunhao Yang, Cyrus Neary and Ufuk Topcu. Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception
Major Revision at Aritificial Intelligene Journal 2023.

Yunhao Yang, Jean-Raphael Gaglione, Cyrus Neary and Ufuk Topcu. Automaton-Based Representations of Task Knowledge from Generative Language Models
Under Review at Journal of Aritificial Intelligene Research 2023.

Yunhao Yang, Jean-Raphael Gaglione, Sandeep P. Chinchali, and Ufuk Topcu. Specification-Driven Video Search via Foundation Models and Formal Verification
arXiv:2309.10171 [cs.CV] 2023.

Yunhao Yang, Parham Gohari and Ufuk Topcu. Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning
arXiv:2205.12430 [cs.LG] 2022.



Community Services

Journal and Conference Review

Program Committee for CSCT 2023, CSCT 2023, ICCIS 2023, ICIVC 2023

Reviewer for Journal of Computational and Cognitive Engineering, FMDM@NeurIPS 2023, NeurIPS 2022, CIS 2023, LLMAgents@ICLR 2024

Volunteer

STEM Girl Day at UT Austin, 2024

Mentor for REACT RUE summer program, 2023

Volunteer for LASA High School Visit, 2023

Volunteer for FIRST Technical Challenge: Texas-Central GEMS League Tournament, 2023

Volunteer for TACC Back@TACC, 2022