Guannan Wei

1. Modeling Reachability Types with Logical Relations
   2023/09/12 by Yuyan Bao, Bao, Yuyan, Jia, Songlin +6 · 5 citations
   Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
2. Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
   2019/04/27 by Zhanfu Yang, Yang, Zhanfu, Fei Wang +7 · 2 citations
   Computer Science · #Graph Theory and Algorithms #Neural Networks and Applications #Bayesian Modeling and Causal Inference
3. Graph IRs for Impure Higher-Order Languages (Technical Report)
   2023/09/15 by Oliver Bračevac, Guannan Wei, Bračevac, Oliver +11 · 1 citation
   Computer Science · #Advanced Graph Neural Networks #Error Correcting Code Techniques #FOS: Computer and information sciences #Matrix Theory and Algorithms #Programming Languages (cs.PL)