Kazuhiko Sakaguchi | DeepAI

DeepAI

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

research

∙ 02/09/2022

Reflexive tactics for algebra, revisited

Computational reflection allows us to turn verified decision procedures ...

0 Kazuhiko Sakaguchi, et al. ∙

research

∙ 02/03/2020

Validating Mathematical Structures

With regard to formalizing mathematics in proof assistants, the hierarch...

0 Kazuhiko Sakaguchi, et al. ∙