Pinned Loading

1. ape ape Public

   🧮 Algebraic Positional Encodings.

   Python 17 2

2. quill quill Public

   🪶 Neural premise selection for Agda.

   Python 5

3. spindle spindle Public

   🕸️ An end-to-end neurosymbolic parser for Dutch.

   Python 9 1

4. aethel aethel Public

   | λ | A packaging of tools for expressing dependency graphs as typed derivations of a multimodal categorial grammar.

   Python 4 3

5. telos telos Public

   ⌛ [WIP] Differentiable temporal logics in PyTorch.

   Python

6. presentations presentations Public

   🎞️ Presentation slides.

   TeX 1