AlphaNeural
TheoremQA_standardized – Dataset by HydraLM | AlphaNeural AI