Papers to Read Maximums: Rust Verification by Functional Translation Resilience of Artificial Neural Networks Fold and Unfold for Program Semantics