Guannan Wei | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Fei Wang
209 publications
Ziliang Chen
15 publications
Tiark Rompf
12 publications
Yuyan Bao
7 publications
Oliver Bračevac
5 publications
Zhanfu Yang
4 publications
Supun Abeysinghe
4 publications
Songlin Jia
2 publications
Yuxuan Jiang
1 publication

research

∙ 09/15/2023

Graph IRs for Impure Higher-Order Languages (Technical Report)

This is a companion report for the OOPSLA 2023 paper of the same title, ...

0 Oliver Bračevac, et al. ∙

research

∙ 09/12/2023

Modeling Reachability Types with Logical Relations

Reachability types are a recent proposal to bring Rust-style reasoning a...

0 Yuyan Bao, et al. ∙

research

∙ 07/25/2023

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Reachability types are a recent proposal that has shown promise in scali...

0 Guannan Wei, et al. ∙

research

∙ 04/27/2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers

In this paper, we investigate the feasibility of learning GNN (Graph Neu...

0 Zhanfu Yang, et al. ∙