Zhai, Haoyu
- PurpCode: Reasoning for Safer Code Generation
2025/07/25 by Jiawei Liu, Liu, Jiawei, Nirav Diwan +23 · 6 citations
Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
- Arbitrary Bit-width Network: A Joint Layer-Wise Quantization and Adaptive Inference Approach
2022/04/21 by Tang, Chen, Zhai, Haoyu, Ouyang, Kai +3 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences