Vilém Zouhar
zouharvi
PhD student, evaluation and multilingual natural language processing
ETH Zürich Zürich
Junyan Xu
alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Universität Heidelberg Heidelberg / Shenzhen
Ondrej Sika
ondrejsika
Software, DevOps & SRE Engineer, Architect, Consultant and Lecturer 🇬🇧🇩🇪🇨🇿
@sikalabs, ex @braiins @slushpool Prague, Czech Republic
Dr. Ivan S. Zapreev
ivan-zapreev
PhD in Theoretical Computer Science, Master and Bachelor in Theoretical Mathematics. A Data Scientist with outstanding research and software engineering skills
Individual Entrepreneur Krasnodar region, Russian Federation
Jindřich Libovický
jlibovicky
A researcher at @ufal, Charles University working on natural language processing (NLP) and machine translation (MT).
Charles University Prague. Czech Republic