Łukasz Kaiser
0000-0003-1092-6010
Publications
104 total
No publications found.
Research Topics
Topic Modeling
Logic, Reasoning, and Knowledge
Natural Language Processing Techniques
Logic, programming, and type systems
Formal Methods in Verification
Affiliations
Google (United States)
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.