Nongyu Di

According to our database, Nongyu Di authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set.

Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, Xiaoxing Ma

CoRR, February, 2026