All Stories

  1. Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    He Zhu

  2. Reward-Guided Synthesis of Intelligent Agents with Control Structures

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    He Zhu

  3. Graph Collaborative Reasoning

    Article • February 2022, ACM (Association for Computing Machinery)

    Hanxiong Chen, He Zhu