Pinned Loading

1. dataflowr/notebooks dataflowr/notebooks Public

   code for deep learning courses

   Jupyter Notebook 1.2k 333

2. LLM4Rocq/nlir LLM4Rocq/nlir Public

   Automatic theorem proving via natural language reasoning with LLMs

   Python 19 1

3. chaining-gnn-graph-alignment chaining-gnn-graph-alignment Public

   Bootstrap learning approach for the combinatorial Graph Alignment Problem using chained FGNNs

   Python 2

4. wazizian/OnlineSampling.jl wazizian/OnlineSampling.jl Public

   Online inference on reactive probabilistic models, with SMC and symbolic methods

   Julia 16 3

5. graph_neural_net graph_neural_net Public

   Expressive Power of Invariant and Equivariant Graph Neural Networks (ICLR 2021)

   Python 41 18