Serbanuta, T., Xu, J., Stefanescu, A., & Radoi, C. (2026). Solving VeriContest with a Lean-Backed Rust Verifier. https://omanscience.com/en/articles/solving-vericontest-with-a-lean-backed-rust-verifier