AlphaNeural
judged_pairs_formal_emb_informal_proof_sim_lin_clipped – Dataset by dani-tro | AlphaNeural AI