miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward

Open in new window