| 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 | 108 | 2019 |
| A data-driven CHC solver H Zhu, S Magill, S Jagannathan ACM SIGPLAN Notices 53 (4), 707-721, 2018 | 93 | 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 | 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 | 38 | 2022 |
| Compositional and lightweight dependent type inference for ML H Zhu, S Jagannathan International Workshop on Verification, Model Checking, and Abstract …, 2013 | 37 | 2013 |
| Automatically learning shape specifications H Zhu, G Petri, S Jagannathan Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 36 | 2016 |
| Learning refinement types H Zhu, AV Nori, S Jagannathan ACM SIGPLAN Notices 50 (9), 400-411, 2015 | 35 | 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 | 27 | 2015 |
| Programmatic reinforcement learning without oracles W Qiu, H Zhu The Tenth International Conference on Learning Representations, 2022 | 25 | 2022 |
| 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, 2022 | 16 | 2022 |
| 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 |
| Differentiable synthesis of program architectures G Cui, H Zhu Advances in Neural Information Processing Systems 34, 11123-11135, 2021 | 14 | 2021 |
| 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 | 6 | 2022 |
| 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 | 6 | 2022 |
| Robustness to adversarial attacks in learning-enabled controllers Z Xiong, J Eappen, H Zhu, S Jagannathan arXiv preprint arXiv:2006.06861, 2020 | 6 | 2020 |
| Dependent array type inference from tests H Zhu, AV Nori, S Jagannathan Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 5 | 2015 |
| Learning to verify the heap M Brockschmidt, Y Chen, B Cook, P Kohli, S Krishna, D Tarlow, H Zhu Technical Report, 2016 | 4 | 2016 |
| Data mining based decomposition for assume-guarantee reasoning H Zhu, F He, WNN Hung, X Song, M Gu 2009 Formal Methods in Computer-Aided Design, 116-119, 2009 | 3 | 2009 |
| Verification-guided programmatic controller synthesis Y Wang, H Zhu International Conference on Tools and Algorithms for the Construction and …, 2023 | 1 | 2023 |
