He Zhu

Projects

Projects per year 2020 2020 2021 2025

• 2 Active

Projects per year

Search results

• Active

  FMitF: Track I: Synthesis and Verification for Programmatic Reinforcement Learning

  Zhu, H. (PI) & Zhang, Y. (CoPI)

  National Science Foundation

  10/1/21 → 9/30/25

  Rutgers, The State University

  Project: Research

  • Reinforcement Learning 100%
  • Reinforcement Learning System 40%
  • Learning Policy 40%
  • Learning Representations 20%
  • First-order 20%

• SHF: Small: Formal Symbolic Reasoning of Deep Reinforcement Learning Systems

  Zhu, H. (PI)

  National Science Foundation

  6/15/20 → 6/30/25

  Rutgers, The State University

  Project: Research

  • Reinforcement Learning System 100%
  • Symbolic Reasoning 100%
  • Deep Reinforcement Learning (deep RL) 100%
  • Deep Reinforcement Learning 100%
  • Learning System 100%