12 Sep 20copy & paste+upvote-downvotePosted my first paper on arXivπ₯π
GPT-f is a Transformer-based automated theorem prover. We show that Transformer +β¦ https://t.co/BHn8X72Oqj
β@_lexiemichelee: @MariaCabayubi you know how slow I am Maria. But it looks really goodβhah I know this. But thank youuu
14 Jan 13copy & paste+upvote-downvoteβ@_lexiemichelee: @MariaCabayubi you know how slow I am Maria. But it looks really goodππππβhah I know this. But thank youuu βΊπππ