Syntax-Guided Synthesis
Hengfeng Wei (魏恒峰)
hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.
Nanjing University (南京大学) Nanjing University
Minal S Patil
minalspatil
Explainable AI, Counterfactual Theory and Causal Inference, Neural-Symbolic Learning, Machine Reasoning, (Lifelong) Reinforcement Learning
Umeå universitet Umeå, Sweden