Sam Saarinen | DeepAI

DeepAI

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

Featured Co-authors

Michael Littman
15 publications
Shriram Krishnamurthi
11 publications
Ben Greenman
4 publications
Tim Nelson
3 publications
Evan Cater
3 publications

research

∙ 11/03/2022

Little Tricky Logic: Misconceptions in the Understanding of LTL

Context: Linear Temporal Logic (LTL) has been used widely in verificatio...

0 Ben Greenman, et al. ∙

research

∙ 09/24/2018

Personalized Education at Scale

Tailoring the presentation of information to the needs of individual stu...

4 Sam Saarinen, et al. ∙