Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Łukasz Kaiser | Researchclopedia
Back to researchers
Łukasz Kaiser
Google (United States)
ORCID
Top Works
Logic, programming, and type systems
Formal Methods in Verification
Attention Is All You Need
Ashish Vaswani
,
Noam Shazeer
,
et al.
2025
6,513 citations