Linpeng Zhang | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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

Success!

An error occurred