Liming Cai | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Liang Ding
76 publications
Matthew Wicker
19 publications
Fei He
18 publications
Di Chang
6 publications
David Robinson
3 publications
Hongfei Yan
2 publications
Russell Malmberg
1 publication
Aaron Martinez
1 publication
Qianshan Yu
1 publication

research

∙ 06/13/2018

When Regression Verification Meets CEGAR

Software systems evolve throughout their life cycles. Many revisions are...

0 Fei He, et al. ∙

research

∙ 01/21/2018

Efficient Learning of Optimal Markov Network Topology with k-Tree Modeling

The seminal work of Chow and Liu (1968) shows that approximation of a fi...

0 Liang Ding, et al. ∙