Stars
Graph Embedding Evaluation / Code and Datasets for "Graph Embedding on Biomedical Networks: Methods, Applications, and Evaluations" (Bioinformatics 2020)
A formalization of (homotopy) limits in Homotopy Type Theory
{{ message }}
Graph Embedding Evaluation / Code and Datasets for "Graph Embedding on Biomedical Networks: Methods, Applications, and Evaluations" (Bioinformatics 2020)
A formalization of (homotopy) limits in Homotopy Type Theory