William Pires | DeepAI

DeepAI

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

Featured Co-authors

Ran Tao
34 publications
Alexandros Hollender
19 publications
Mika Göös
14 publications
Siddhartha Jain
11 publications
Robert Robere
9 publications
Gilbert Maystre
4 publications

research

∙ 05/04/2022

Separations in Proof Complexity and TFNP

It is well-known that Resolution proofs can be efficiently simulated by ...

0 Mika Göös, et al. ∙

research

∙ 02/15/2022

Further Collapses in TFNP

We show =∩. Here the class consists of all total search problems that r...

0 Mika Göös, et al. ∙