Lawrence Connor pfp
Lawrence Connor

@minimi9999

OpenAI's older research in formal math problem solving is still relevant in the age of AlphaProof.
0 reply
0 recast
0 reaction