TY  - RPRT
TI  - Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
AU  - Nongyu Di
AU  - Tianyu Chen
AU  - Shan Lu
AU  - Shuai Lu
AU  - Yeyun Gong
AU  - Peng Cheng
AU  - Jacob R. Lorch
AU  - Yuan Yao
AU  - Xiaoxing Ma
PY  - 2026
UR  - https://arxiv.org/abs/2602.04910
ID  - 2602.04910
ER  -