Alternatives and similar repositories for mdlrnn

Users that are interested in mdlrnn are comparing it to the libraries listed below

• diprism / fggs
  Factor Graph Grammars in Python
  ☆13Updated 10 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 5 years ago
• bdusell / nondeterministic-stack-rnn
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆18Updated last year
• rycolab / prefix-parsing
  ☆14Updated last year
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• psoulos / role-decomposition
  ☆11Updated 5 years ago
• srush / torch-golf
  Silly twitter torch implementations.
  ☆46Updated 3 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆93Updated 2 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆21Updated 2 years ago
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆58Updated last year
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 4 years ago
• bdusell / stack-attention
  Code for the paper "Stack Attention: Improving the Ability of Transformers to Model Hierarchical Patterns"
  ☆17Updated last year
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆30Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated 11 months ago
• lucidrains / ESBN-pytorch
  Usable implementation of Emerging Symbol Binding Network (ESBN), in Pytorch
  ☆25Updated 4 years ago
• ethancaballero / broken_neural_scaling_laws
  Code Release for "Broken Neural Scaling Laws" (BNSL) paper
  ☆59Updated last year
• castorini / transformers-arithmetic
  ☆38Updated 4 years ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆50Updated last year
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated last year
• joshuacnf / paradox-learning2reason
  ☆36Updated 10 months ago
• harvardnlp / strux
  ☆18Updated 3 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆66Updated 7 months ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• ellisk42 / LambdaBeam
  ☆13Updated last year