Jiatu Li | DeepAI

DeepAI

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

Featured Co-authors

Igor Carboni Oliveira
1 publication

research

∙ 05/24/2023

Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic

While there has been progress in establishing the unprovability of compl...

0 Jiatu Li, et al. ∙

research

∙ 12/17/2020

Formalization of PAL·S5 in Proof Assistant

As an experiment to the application of proof assistant for logic researc...

0 Jiatu Li, et al. ∙