安裝中文字典英文字典辭典工具!
安裝中文字典英文字典辭典工具!
|
- Xujie Sis Homepage
Xujie Si Assistant Professor Department of Computer Science University of Toronto Email: CV · Google Scholar · DBLP
- Xujie Si · Artifacts
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik IJCAI 2019 [paper, slides, poster, artifact] Learning a Meta-Solver for Syntax-Guided Program Synthesis Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song ICLR 2019 [paper, poster, artifact] Continuously Reasoning about Programs via Differential Bayesian Inference
- Xujie Si · CSC2547HS
CSC2547HS Winter 2023 Automated Reasoning with Machine Learning Course Info Instructor: Xujie Si Teaching Assistants: Jonathan Lorraine and Zhaoyu Li Lecture hours: 3 - 5 PM, Thursday Classroom: WW 126 Office hours: 3 - 4 PM, Tuesday, BA 7202 Course Breadth: M1 RA12 Discussion: Ed Urgent contact Email: with subject “CSC2547HS-W23: "
- Xujie Si · Artifacts
Xujie's 'Artifacts pageTeaching Winter 2023: CSC2547HS: Automated Reasoning with Machine Learning Fall 2021, 2022: COMP-597 Automated Reasoning with Machine Learning Winter 2021, 2022: COMP-302 Programming Languages Paradigms
- Xujie Si · Artifacts
Xujie's 'Artifacts pageI am very fortunate to work with the following group of talents Ph D Students Allen Geng Zhaoyu Li Honghua Dong (co-supervised with Prof Chris Maddison and Prof Jimmy Ba) Breandan Considine (co-supervised with Prof Jin Guo) Ziyan (Ray) Luo (co-supervised with Prof Doina Precup) MSc Students Sissi Jiang Steven Zhong Xiaojie Xu (McGill Mila) Jaylene Zhang (co
- Department of Computer Science welcomes its newest faculty members in . . .
Xujie Si will join the Department of Computer Science as assistant professor in August 2023 He is currently an assistant professor in the School of Computer Science at McGill University and holds a CIFAR AI Chair at Mila
- Xujie Si · Artifacts
Xujie's 'Artifacts pageService MAPL'20, APLAS'21, PLDI'22, Program Committee NeurIPS'20, AAAI'21, ICLR'21, NeurIPS'21, AAAI'22, ICLR'22, Reviewer ICFP'19, CAV'19, CAV'20, Artifact Evaluation Committee PLDI'18, '19, Student Volunteer Co-Chair POPL'16, Student Volunteer
- Xujie Si · Artifacts
Xujie's 'Artifacts pageDatasets datalog-bench: a benchmark suite for interpretable rule learning Software SG-SATNet: automatically learning rules to solve visual MaxSAT games (NeurIPS 2021 Spotlight) Ropey: data-driven optimization for IC3-style software model checker (FMCAD 2021) Difflog: tool for synthesizing Datalog programs using numerical relaxation (IJCAI 2019) Drake: interactive
|
|
|