2 ms·Goedel-Code-Prover: Hierarchical Proof Search for Open SotA Code Verification3 points by matt_d 7mo ago