| An inductive synthesis framework for verifiable reinforcement learning H Zhu, Z Xiong, S Magill, S Jagannathan Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019 | 120 | 2019 |
| A data-driven CHC solver H Zhu, S Magill, S Jagannathan ACM SIGPLAN Notices 53 (4), 707-721, 2018 | 102 | 2018 |
| ReLAX: Reinforcement Learning Agent Explainer for Arbitrary Predictive Models Z Chen, F Silvestri, J Wang, H Zhu, H Ahn, G Tolomei Proceedings of the 31st ACM international conference on information …, 2022 | 48* | 2022 |
| Programmatic reinforcement learning without oracles W Qiu, H Zhu The Tenth International Conference on Learning Representations, 2022 | 42 | 2022 |
| Graph collaborative reasoning H Chen, Y Li, S Shi, S Liu, H Zhu, Y Zhang Proceedings of the Fifteenth ACM International Conference on Web Search and …, 2022 | 42 | 2022 |
| Automatically learning shape specifications H Zhu, G Petri, S Jagannathan Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 38 | 2016 |
| Compositional and lightweight dependent type inference for ML H Zhu, S Jagannathan International Workshop on Verification, Model Checking, and Abstract …, 2013 | 38 | 2013 |
| Learning refinement types H Zhu, AV Nori, S Jagannathan ACM SIGPLAN Notices 50 (9), 400-411, 2015 | 37 | 2015 |
| ART: abstraction refinement-guided training for provably correct neural networks X Lin, H Zhu, R Samanta, S Jagannathan # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 148-157, 2020 | 31 | 2020 |
| Poling: SMT Aided Linearizability Proofs H Zhu, G Petri, S Jagannathan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 31 | 2015 |
| Explain the explainer: Interpreting model-agnostic counterfactual explanations of a deep reinforcement learning agent Z Chen, F Silvestri, G Tolomei, J Wang, H Zhu, H Ahn IEEE Transactions on Artificial Intelligence 5 (4), 1443-1457, 2022 | 23 | 2022 |
| Differentiable synthesis of program architectures G Cui, H Zhu Advances in Neural Information Processing Systems 34, 11123-11135, 2021 | 19 | 2021 |
| Compositional abstraction refinement for timed systems F He, H Zhu, WNN Hung, X Song, M Gu 2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010 | 15 | 2010 |
| Defending observation attacks in deep reinforcement learning via detection and denoising Z Xiong, J Eappen, H Zhu, S Jagannathan Joint European Conference on Machine Learning and Knowledge Discovery in …, 2022 | 10 | 2022 |
| Formal-llm: Integrating formal language and natural language for controllable llm-based agents Z Li, W Hua, H Wang, H Zhu, Y Zhang arXiv preprint arXiv:2402.00798, 2024 | 8 | 2024 |
| Learn basic skills and reuse: Modularized adaptive neural architecture search (manas) H Chen, Y Li, H Zhu, Y Zhang Proceedings of the 31st ACM International Conference on Information …, 2022 | 7 | 2022 |
| Robustness to adversarial attacks in learning-enabled controllers Z Xiong, J Eappen, H Zhu, S Jagannathan arXiv preprint arXiv:2006.06861, 2020 | 7 | 2020 |
| Dependent array type inference from tests H Zhu, AV Nori, S Jagannathan Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 6 | 2015 |
| Instructing goal-conditioned reinforcement learning agents with temporal logic objectives W Qiu, W Mao, H Zhu Advances in Neural Information Processing Systems 36, 2024 | 4 | 2024 |
| Learning to verify the heap M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu Technical Report, 2016 | 4 | 2016 |
