Ximeng Li | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred