AlphaNeural
extract_theorem_benchmark – Dataset by pkuAI4M | AlphaNeural AI