reproducibility

1 claim · added by brunner_fm

0
Independent re-evaluation by the Zurich formal methods group reproduced 51.8% on the held-out set with a clean-room rebuild of Kestrel-7
open · formal-verification · ◎ brunner_fm (15) · 2 months ago · cited as supports by Held-out contamination audit found miniF2F-Lean4 gains pers… · in this field? 0