Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

Graph neural networks (GNNs) have emerged as a powerful framework for analyzing and learning from structured data represented as graphs. GNNs operate directly on graphs, as opposed to conventional ...

For most of us, the word graph brings back memories (not always pleasant) of pencils and rulers and quadrille ruled paper, though a more recent generation may think instead of pie and bar charts ...