Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

Published in Conference on Language Modeling, 2026