Zhaorui Ni

Identifiers

• name variant Zhaorui Ni 0.60 · backfill

Papers (2)

1. Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast cs.SE · 2024 · author #5
2. An Efficient and Scalable Clocking Assignment Algorithm for Multi-Threaded Multi-Phase Single Flux Quantum Circuits cs.ET · 2024 · author #4

Mentions

• 2411.02318 #5 · arxiv_oai · confidence 0.70 Zhaorui Ni
• 2401.06411 #4 · arxiv_oai · confidence 0.70 Zhaorui Ni

Frequent Coauthors

• Danning Xie 1 shared papers
• Jenna DiVincenzo 1 shared papers
• Lei Lu 1 shared papers
• Lin Tan 1 shared papers
• Marilyn Rego 1 shared papers
• Peter A. Beerel 1 shared papers
• Robert S. Aviles 1 shared papers
• Sanya Dod 1 shared papers
• Wen Fan 1 shared papers
• Xi Li 1 shared papers
• Xin Hu 1 shared papers