APA (7th ed.) Citation

Di, N., Chen, T., Lu, S., Lu, S., Gong, Y., Cheng, P., . . . Ma, X. (2026). Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set.

Chicago Style (17th ed.) Citation

Di, Nongyu, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, and Xiaoxing Ma. Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set. 2026.

MLA (9th ed.) Citation

Di, Nongyu, et al. Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set. 2026.