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

• bergen / EdgeTransformer
  ☆22Updated 4 years ago
• FranxYao / RDP
  Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization
  ☆14Updated 3 years ago
• samblouir / birdie
  ☆13Updated last month
• Yujun-Yan / Neural-Execution-Engines
  Code for Neural Execution Engines: Learning to Execute Subroutines
  ☆18Updated 5 years ago
• FutureComputing4AI / Hrrformer
  Hrrformer: A Neuro-symbolic Self-attention Model (ICML23)
  ☆61Updated 3 months ago
• emalach / LinearLM
  Code for the paper: https://arxiv.org/pdf/2309.06979.pdf
  ☆21Updated last year
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆40Updated last year
• kdu4108 / semiring-backprop-exps
  ☆16Updated 2 years ago
• EleutherAI / rnngineering
  Engineering the state of RNN language models (Mamba, RWKV, etc.)
  ☆32Updated last year
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• robert-lieck / RBN
  Recursive Bayesian Networks
  ☆11Updated 8 months ago
• RakitinDen / pytorch-recursive-gumbel-max-trick
  Leveraging Recursive Gumbel-Max Trick for Approximate Inference in Combinatorial Spaces, NeurIPS 2021
  ☆13Updated 4 years ago
• srush / ProbTalk
  ☆29Updated 4 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆141Updated 9 months ago
• Doraemonzzz / nanoTransNormer
  ☆11Updated 2 years ago
• xuanlinli17 / autoregressive_inference
  Code for "Discovering Non-monotonic Autoregressive Orderings with Variational Inference" (paper and code updated from ICLR 2021)
  ☆12Updated last year
• expz / annotated-hyena
  An annotated implementation of the Hyena Hierarchy paper
  ☆34Updated 2 years ago
• abhishekpanigrahi1996 / transformer_in_transformer
  ☆46Updated 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
• AndPotap / einsum-search
  ☆33Updated last year
• joshuacnf / paradox-learning2reason
  ☆36Updated last year
• 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
• srush / tangent
  Source-to-Source Debuggable Derivatives in Pure Python
  ☆15Updated 2 years ago
• google-research / crossbeam
  ☆44Updated 2 years ago
• danilonumeroso / conar
  Official code for the paper `Neural Algorithmic Reasoning for Combinatorial Optimisation`
  ☆21Updated 2 years ago
• timvieira / dyna-pi
  An interactive tool for analyzing, executing, and improving dynamic programming algorithms.
  ☆18Updated last week
• uclnlp / ctp
  Conditional Theorem Proving
  ☆54Updated 4 years ago
• JeremyAlain / imitation_learning_from_language_feedback
  This repository contains some of the code used in the paper "Training Language Models with Langauge Feedback at Scale"
  ☆27Updated 2 years ago
• srush / torch-golf
  Silly twitter torch implementations.
  ☆46Updated 3 years ago