AlphaNeural
max-of-4-proofs – Dataset by JasonGross | AlphaNeural AI