New
1105216375-alt/resimind — Lowering the external theorem benchmark boundary to the experimental stage
The latest commit of resimind lowers the external theorem benchmark boundary for MiniF2F and LeanDojo to the 'experimental' stage, and makes public in the documentation both the scores that do not yet exist and the negative ChinaTravel results.