Collaborated with:S.Jagannathan S.Magill G.Petri Zikang Xiong
Talks about:learn (2) framework (1) synthesi (1) reinforc (1) automat (1) verifi (1) specif (1) solver (1) induct (1) driven (1)
Person: He Zhu 0001
DBLP: 0001:He_Zhu
Contributed to:
201620182019Wrote 3 papers:
- PLDI-2016-ZhuPJ #automation #learning #specification
- Automatically learning shape specifications (HZ0, GP, SJ), pp. 491–507.
- PLDI-2018-ZhuMJ #data-driven
- A data-driven CHC solver (HZ0, SM, SJ), pp. 707–721.
- PLDI-2019-ZhuXMJ #framework #induction #learning #synthesis
- An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.