TY  - RPRT
TI  - Solving VeriContest with a Lean-Backed Rust Verifier
AU  - Traian Serbanuta
AU  - Jun Xu
AU  - Andrei Stefanescu
AU  - Cosmin Radoi
PY  - 2026
UR  - https://arxiv.org/abs/2610.03994
ID  - 2610.03994
ER  -