Založit si vlastní profil
Veřejný přístup
Zobrazit všechny3 články
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;E-mailová adresa ověřena na: inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleE-mailová adresa ověřena na: google.com
- Fabien VigerGoogleE-mailová adresa ověřena na: google.com
- Hannah BastProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Robert GeisbergerGoogleE-mailová adresa ověřena na: google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowE-mailová adresa ověřena na: latticeflow.ai
- Eran YahavTechnion, IsraelE-mailová adresa ověřena na: cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideE-mailová adresa ověřena na: sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITE-mailová adresa ověřena na: insait.ai
- Madanlal MusuvathiMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Todd MytkowiczMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Anders MøllerProfessor, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Max SchaeferGitHubE-mailová adresa ověřena na: github.com
- Preslav NakovMBZUAIE-mailová adresa ověřena na: mbzuai.ac.ae