Yihan Dai

According to our database, Yihan Dai authored at least 2 papers in 2025.

Collaborative distances:

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

2025

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language.

Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev

CoRR, March, 2025

Generative Artificial Intelligence Model for Multi-Granularity Power Data Simulation.

Yiwen Jiang, Sheng Xiang, Yihan Dai, Dawei Cheng

Int. J. Pattern Recognit. Artif. Intell., 2025