Automated Proof Generation for Rust Code via Self-Evolution

Published in The Thirteenth International Conference on Learning Representations, 2025