Pinned Loading

1. ANYCQ ANYCQ Public

   [LoG '25] Repository implementing AnyCQ - a GNN-guided search engine for answering queries over incomplete Knowledge Graphs

   Python 5 1

2. titans-lmm titans-lmm Public

   A proof-of-concept implementation of Titans: models mixing long-term, short-term and persistent memories

   Jupyter Notebook 24 5

3. rw-ensembles rw-ensembles Public

   Implementation of rewriting ensembles for the paper "What are the Right Symmetries for Formal Theorem Proving?"

   Python 4

4. polishmo_lean polishmo_lean Public

   Lean4 formal proofs of problems from Polish Mathematical Olympiad

   Lean 1

5. dbgnn dbgnn Public

   Differentiable Binarisation applied to Graph Neural Networks for more accurate binary node-classification problems

   Jupyter Notebook 1