2 papers
cs.LG2023
Semi-Supervised Machine Learning: a Homological Approach
Adrián Inés, César Domínguez, Jónathan Heras +2
In this paper we describe the mathematical foundations of a new approach to semi-supervised Machine Learning. Using techniques of Symbolic Computation and Computer Algebra, we appl…
cs.LO2010
Computing in Coq with Infinite Algebraic Data Structures
César Domínguez, Julio Rubio
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibili…