내 프로필 만들기
공개 액세스
모두 보기자료 2개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Nikolaj BjornerMicrosoft Researchcs.stanford.edu의 이메일 확인됨
- Bruno DutertreAmazon Web Servicesamazon.com의 이메일 확인됨
- Harald Ruessfortissfortiss.org의 이메일 확인됨
- Natarajan ShankarSRI International Computer Science Laboratorycsl.sri.com의 이메일 확인됨
- John RushbySRI Internationalcsl.sri.com의 이메일 확인됨
- Clark BarrettStanford Universitycs.stanford.edu의 이메일 확인됨
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon Universitycmu.edu의 이메일 확인됨
- Daniel SelsamOpenAIopenai.com의 이메일 확인됨
- Dejan JovanovićAmazon Web Servicesamazon.com의 이메일 확인됨
- Sam OwreSRI Internationalsri.com의 이메일 확인됨
- Aaron StumpProfessor of Computer Science, The University of Iowauiowa.edu의 이메일 확인됨
- Sebastian UllrichKarlsruhe Institute of Technologykit.edu의 이메일 확인됨
- Soonho KongAmazon Web Servicesamazon.com의 이메일 확인됨
- Grant Olney PassmoreImandra Inc. and Clare Hall, University of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Ira BaxterCTO Semantic Designssemdesigns.com의 이메일 확인됨
- Christoph M. WintersteigerImandraimandra.ai의 이메일 확인됨
- Percy LiangAssociate Professor of Computer Science, Stanford Universitycs.stanford.edu의 이메일 확인됨
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoftcsl.sri.com의 이메일 확인됨
- Floris van DoornUniversity of Paris-Saclayuniversite-paris-saclay.fr의 이메일 확인됨
- Jakob von RaumerKarlsruhe Institute of Technologyvon-raumer.de의 이메일 확인됨