Ximeng Li | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Zhiping Shi
9 publications
Guohui Wang
8 publications
Yong Guan
7 publications
Qianying Zhang
4 publications
Wenxing Zhu
3 publications
Keyu Peng
1 publication
Fuxing Huang
1 publication

research

∙ 10/07/2022

PeF: Poisson's Equation Based Large-Scale Fixed-Outline Floorplanning

Floorplanning is the first stage of VLSI physical design. An effective f...

0 Ximeng Li, et al. ∙

research

∙ 08/04/2021

Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics

A reliable technique for deductive program verification should be proven...

0 Ximeng Li, et al. ∙