Pinned Loading

1. straylight straylight Public

   Reference implementation of a Lambda-superposition theorem prover

   Haskell

2. dllm dllm Public

   Score Entropy Discrete Diffusion language model - https://arxiv.org/abs/2310.16834

   Python 15 1

3. vcl vcl Public

   Variational Continual Learning with Multiplicative Normalizing Flows - https://openreview.net/forum?id=BkQqq0gRb

   Python