Added minif2f benchmark#18

Merged

amit9oct merged 2 commits intomainfrom

usr/amit9oct/miniF2F-benchmark

Mar 28, 2025

Commits on Mar 26, 2025

Added miniF2F benchmark
Amitayush Thakur
committed

Commits on Mar 28, 2025

Changed the settings for enabling miniF2F
Amitayush Thakur
committed