Yunhao Yang
Scholar

Yunhao Yang

Google Scholar ID: hEKrDSEAAAAJ
University of Texas at Austin
Formal methodsAutonomyPrivacy
Citations & Impact
All-time
Citations
140
 
H-index
7
 
i10-index
4
 
Publications
20
 
Co-authors
14
list available
Resume (English only)
Academic Achievements
  • - Publications:
  • - On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning
  • - Self-Enhancing Multi-filter Sequence-to-Sequence Model
  • - Uncertainty-Guided Enhancement on Driving Perception System via Foundation Models
  • - Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework
  • - Towards Neuro-Symbolic Video Understanding
  • - Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems
  • - Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
  • - A Survey on Reinforcement Learning for Combinatorial Optimization
  • - Training Heterogeneous Features in Sequence to Sequence Tasks: Latent Enhanced Multi-filter Seq2Seq Model
  • - Awards:
  • - Best Student Paper Award (Proceedings of Intelligent Systems Conference 2022)
  • - Patents:
  • - Automaton-Based Controller and Method with Generative Language Models for Task Execution
  • - Fellowships and Awards:
  • - Amazon Scholar (2024-2025)
  • - Special Departmental Honor in Computer Science (2022)
  • - Research Distinction (2021)
  • - Undergraduate Research Fellowship (2020)
Research Experience
  • - Ph.D. Research: Conducting doctoral research at The University of Texas at Austin, focusing on integrating large language models and formal methods
  • - Projects: Involved in multiple research projects, including uncertainty-guided enhancement on driving perception systems via foundation models
Education
  • - Degrees: Ph.D. (in progress), M.S., B.S.
  • - School: The University of Texas at Austin
  • - Advisor: Prof. Ufuk Topcu
  • - Time: Started Ph.D. program in Fall 2022
  • - Major: Computer Science (M.S., Ph.D.), Mathematics (B.A.)
Background
  • - Research Interests: Integrating large language models and formal methods for autonomy, AI safety, and privacy
  • - Field: Computer Science
  • - Brief Introduction: Currently a member of the Center for Autonomy at The University of Texas at Austin, supervised by Prof. Ufuk Topcu.
Miscellany
  • - Community Services:
  • - Journal and Conference Reviewer
  • - Volunteer for STEM Girl Day at UT Austin (2024, 2025)
  • - Mentor for REACT RUE summer program (2023)
  • - Volunteer for TACC Back@TACC (2022, 2024)
  • - Volunteer for LASA High School Visit (2023)
  • - Volunteer for FIRST Technical Challenge: Texas-Central GEMS League Tournament (2023)