Zhaorui Ni

According to our database, Zhaorui Ni authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Proceedings of the IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering, 2025

2024

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

CoRR, 2024

An Efficient and Scalable Clocking Assignment Algorithm for Multi-Threaded Multi-Phase Single Flux Quantum Circuits.

Robert S. Aviles, Xi Li, Lei Lu, Zhaorui Ni, Peter A. Beerel

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2024

2023

Recurrent context-aware multi-stage network for single image deraining.

Yuetong Liu, Rui Zhang, Yunfeng Zhang, Xiao Pan, Xunxiang Yao, Zhaorui Ni, Huijian Han

Comput. Vis. Image Underst., January, 2023