21 citations · 43 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 2 cited
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real numbe…
cs.AI2022★ 21 cited
An Empathetic AI Coach for Self-Attachment Therapy
Lisa Alazraki, Ali Ghachem, Neophytos Polydorou +2
In this work, we present a new dataset and a computational strategy for a digital coach that aims to guide users in practicing the protocols of self-attachment therapy. Our framewo…