Xujie Sis Homepage I am an Assistant Professor in the Department of Computer Science at the University of Toronto I am also a faculty affiliate at the Vector Institute and an affiliate member at Mila - Quebec AI Institute, where I hold a Canada CIFAR AI Chair
Xujie Si - Google Scholar Xujie Si University of Toronto Mila Verified email at cs toronto edu - Homepage Programming Languages Automated Reasoning AI4Math XAI AI Alignment
Xujie Si - Mila Xujie Si is an assistant professor in the Department of Computer Science, University of Toronto He is also an affiliate member at Vector Institute and an affiliate member at Mila – Quebec Artificial Intelligence Institute, where he holds a Canada CIFAR AI Chair
Xujie Si at McGill University | Rate My Professors Xujie Si is a professor in the Computer Science department at McGill University - see what their students are saying about them or leave a rating yourself
Xujie Sis Homepage - McGill University My research studies deep learning and reinforcement learning techniques, as well as, classic numerical, statistical, and probabilistic methods for addressing program reasoning challenges that span verification, synthesis, and testing
About - Jie Xu (许洁) I’m currently an assistant professor in the Department of Health Outcomes and Biomedical Informatics (HOBI) at the University of Florida College of Medicine I am hired at HOBI as part of UF’s AI Initiative
Xujie Sis CV My research interests span programming languages, formal methods, and artificial intelligence Specifically, my research focuses on developing machine learning techniques to address various reasoning challenges such as auto-(in)formalization, theorem proving, program verification, and program synthesis
Xu-Jie Zhou, MD, PhD | University of Michigan Medical School As the principal physician of a cohort of genetic kidney diseases, he is committed to accurate diagnosis and treatment of hereditary kidney diseases by improving molecular genetic methods His work is in high-impact journals, and Zhou has earned six grants from the National Science Foundation of China