Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
The Demo Scene is Dying, But That's Alright
datagubbe.seยท14h
Linkdump No 71
82mhz.netยท1d
Towards Stable and Personalised Profiles for Lexical Alignment in Spoken Human-Agent Dialogue
arxiv.orgยท1d
Loading...Loading more...