MizAR 60 for Mizar 50
As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...
Publications
3 shownExploring the Limits of Transfer Learning with a Unified Text-to-Text\n Transformer
Transfer learning, where a model is first pre-trained on a data-rich task\nbefore being fine-tuned on a downstream task, has emerged as a powerful\ntechnique in natural language...
Attention Is All You Need
The dominant sequence transduction models are based on complex recurrent or convolutional neural networks in an encoder-decoder configuration. The best performing models also co...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 84,990
- Institution
- Google (United States)
External Links
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.