research
∙
01/29/2022
Rethinking Adjacent Dependency in Session-based Recommendations
Session-based recommendations (SBRs) recommend the next item for an anon...
share
research
∙
07/21/2021
JEFL: Joint Embedding of Formal Proof Libraries
The heterogeneous nature of the logical foundations used in different in...
research
∙
12/05/2019
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
In this paper we share several experiments trying to automatically trans...
research
∙
05/10/2018