Magnus O. Myreen | DeepAI

DeepAI

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

Featured Co-authors

Eva Darulova
13 publications
Ramana Kumar
12 publications
Heiko Becker
4 publications

research

∙ 03/09/2018

Clocked Definitions in HOL

Many potentially non-terminating functions cannot be directly defined in...

0 Ramana Kumar, et al. ∙

research

∙ 07/07/2017

A Verified Certificate Checker for Floating-Point Error Bounds

Being able to soundly estimate roundoff errors in floating-point computa...

0 Heiko Becker, et al. ∙