Alternatives and similar repositories for algo-reasoning.github.io

Users that are interested in algo-reasoning.github.io are comparing it to the libraries listed below

• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆18Updated 5 years ago
• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆44Updated 3 years ago
• bergen / EdgeTransformer
  ☆22Updated 4 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆54Updated 4 years ago
• FutureComputing4AI / Hrrformer
  Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)
  ☆61Updated 4 months ago
• EdinburghNLP / torch-adaptive-imle
  ☆35Updated last year
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 4 years ago
• samblouir / birdie
  ☆13Updated last month
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• bhoov / energy-transformer-jax
  The Energy Transformer block, in JAX
  ☆63Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• april-tools / gekcs
  How to Turn Your Knowledge Graph Embeddings into Generative Models
  ☆55Updated last year
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• FranxYao / RDP
  Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization
  ☆14Updated 3 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆141Updated 9 months ago
• robert-lieck / RBN
  Recursive Bayesian Networks
  ☆11Updated 8 months ago
• ermongroup / SPN_Variational_Inference
  PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020
  ☆17Updated 4 years ago
• EleutherAI / rnngineering
  Engineering the state of RNN language models (Mamba, RWKV, etc.)
  ☆32Updated last year
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 5 years ago
• konstantinosKokos / ape
  🧮 Algebraic Positional Encodings.
  ☆18Updated 5 months ago
• xuanlinli17 / autoregressive_inference
  Code for "Discovering Non-monotonic Autoregressive Orderings with Variational Inference" (paper and code updated from ICLR 2021)
  ☆12Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• ethancaballero / broken_neural_scaling_laws
  Code Release for "Broken Neural Scaling Laws" (BNSL) paper
  ☆59Updated 2 years ago
• tonywu95 / LIME
  Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
  ☆29Updated 4 years ago
• danilonumeroso / conar
  Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`
  ☆21Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆99Updated 2 years ago
• jemisjoky / umps_code
  u-MPS implementation and experimentation code used in the paper Tensor Networks for Probabilistic Sequence Modeling (https://arxiv.org/ab…
  ☆19Updated 5 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆23Updated last year
• timvieira / dyna-pi
  An interactive tool for analyzing, executing, and improving dynamic programming algorithms.
  ☆18Updated last week
• kdu4108 / semiring-backprop-exps
  ☆16Updated 2 years ago