Posted my first paper on arXiv💥🙌
— Stanislas Polu (@spolu) September 9, 2020
GPT-f is a Transformer-based automated theorem prover. We show that Transformer + Search is suitable to formal reasoning and continuous self-improvement 🦾https://t.co/VllDcCV3Kc pic.twitter.com/5ttVX0MNBC
from Twitter https://twitter.com/spolu
September 08, 2020 at 11:20PM
via IFTTT
No comments:
Post a Comment