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
2 shownAttention 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
- 2
- Publications
- 2
- Citations
- 76,691
- Institution
- Google (United States)
External Links
Identifiers
- ORCID
- 0000-0001-5601-5437
Impact Metrics
h-index
2
h-index: Number of publications with at least h citations each.