Formal to Formal Mathematics Benchmark
Why do you think that https://github.com/NVlabs/tiny-cuda-nn is a good alternative to miniF2F
Formal to Formal Mathematics Benchmark
Why do you think that https://github.com/NVlabs/tiny-cuda-nn is a good alternative to miniF2F