Pinned Loading

1. dataflowr/notebooks dataflowr/notebooks Public

   code for deep learning courses

   Jupyter Notebook 1.1k 314

2. LLM4Rocq/nlir LLM4Rocq/nlir Public

   Automatic theorem proving via natural language reasoning with LLMs

   Python 16 1

3. graph_neural_net graph_neural_net Public

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

   Python 40 18

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

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

   Julia 16 3