Linpeng Zhang | DeepAI

DeepAI

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

Featured Co-authors

Benjamin Lucien Kaminski
18 publications
Paolo Baldan
9 publications
Francesco Ranzato
8 publications

research

∙ 02/14/2022

Quantitative Strongest Post

We present a novel strongest-postcondition-style calculus for quantitati...

0 Linpeng Zhang, et al. ∙

research

∙ 05/30/2021

A Rice's Theorem for Abstract Semantics

Classical results in computability theory, notably Rice's theorem, focus...

0 Paolo Baldan, et al. ∙