2
Publications
47
Citations
2
H-Index
2022
Active since
Affiliations
Xinyu Pi is an author at Microsoft Research Asia (China) specializing in language studies, formal methods, and computational linguistics.
Top concepts
LanguageReasoningSemanticsEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2022–2022
2
2
Reasoning Like Program Executors
Xinyu Pi, Qian Liu, Bei Chen et al. · 2022 · 31 citations · Full text
Engineering, Model-based Reasoning, Knowledge-based Reasoning +20
Rows per page
1–2 of 2