Yaru Yuan

According to our database, Yaru Yuan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Synthesizing Loops from Linear Ranking Functions.

Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen

Proceedings of the Formal Methods and Software Engineering, 2025

2024

A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024