Zhenyu Yan

According to our database, Zhenyu Yan authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks.

Zhenyu Yan, Xin Zhang, Peng Di

Proc. ACM Program. Lang., 2024

TextMaster: Universal Controllable Text Edit.

Aoqiang Wang, Jian Wang, Zhenyu Yan, Wenxiang Shang, Ran Lin, Zhao Zhang

CoRR, 2024