自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;確認したメール アドレス: inf.ethz.ch
- Chris HarrelsonSoftware Engineer, Google確認したメール アドレス: google.com
- Fabien VigerGoogle確認したメール アドレス: google.com
- Hannah BastProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de
- Robert GeisbergerGoogle確認したメール アドレス: google.com
- Andreas KrauseProfessor of Computer Science, ETH Zurich確認したメール アドレス: inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlow確認したメール アドレス: latticeflow.ai
- Eran YahavTechnion, Israel確認したメール アドレス: cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, Riverside確認したメール アドレス: sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAIT確認したメール アドレス: insait.ai
- Madanlal MusuvathiMicrosoft Research確認したメール アドレス: microsoft.com
- Todd MytkowiczMicrosoft Research確認したメール アドレス: microsoft.com
- Anders MøllerProfessor, Aarhus University確認したメール アドレス: cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus University確認したメール アドレス: cs.au.dk
- Max SchaeferGitHub確認したメール アドレス: github.com
- Preslav NakovMBZUAI確認したメール アドレス: mbzuai.ac.ae