research
∙
02/17/2023
Complex QA and language models hybrid architectures, Survey
This paper reviews the state-of-the-art of language models architectures...
share
research
∙
02/10/2022
Lebesgue Induction and Tonelli's Theorem in Coq
Lebesgue integration is a well-known mathematical tool, used for instanc...
research
∙
04/12/2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Integration, just as much as differentiation, is a fundamental calculus ...
research
∙
01/14/2021