Bryn Jeffries | DeepAI

DeepAI

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

Featured Co-authors

Benjamin Paaßen
14 publications
Kalina Yacef
7 publications
Matthew Farrugia-Roberts
4 publications
Harald Sondergaard
4 publications
Irena Koprinska
3 publications
Jessica McBroom
2 publications

research

∙ 07/26/2022

Teaching Simple Constructive Proofs with Haskell Programs

In recent years we have explored using Haskell alongside a traditional m...

0 Matthew Farrugia-Roberts, et al. ∙

research

∙ 03/22/2021

ast2vec: Utilizing Recursive Neural Encodings of Python Programs

Educational datamining involves the application of datamining techniques...

0 Benjamin Paaßen, et al. ∙