Simreal-AI / MathmoBench

[Public preview] An advanced AI Benchmark for math, produced by mathmo at St John's College, Cambridge.