Alternatives and similar repositories for Nesy-Programming

Users that are interested in Nesy-Programming are comparing it to the libraries listed below

• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• jysohn1108 / Looped-Transformer
  Official implementation of the transformer (TF) architecture suggested in a paper entitled "Looped Transformers as Programmable Computers…
  ☆27Updated 2 years ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 7 months ago
• ellisk42 / LambdaBeam
  ☆12Updated last year
• zhaoyu-li / NSNet
  [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
  ☆18Updated 2 years ago
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 4 years ago
• Jungyhuk / latent-execution
  ☆25Updated 3 years ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆128Updated last year
• machine-discovery / deer
  Parallelizing non-linear sequential models over the sequence length
  ☆51Updated 4 months ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• google-deepmind / exedec
  ☆12Updated last year
• Doraemonzzz / xmixers
  Xmixers: A collection of SOTA efficient token/channel mixers
  ☆11Updated 6 months ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆48Updated 10 months ago
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆13Updated 3 years ago
• VITA-Group / DiffSES
  [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…
  ☆15Updated 2 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆15Updated 4 months ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆47Updated 2 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 3 weeks ago
• IBM / TensorLNN
  Scalable Training of Propositional Logical Neural Networks.
  ☆13Updated 3 years ago
• enlighten0707 / Symbol-LLM
  Code for NeurIPS2023 Paper "Symbol-LLM: Leverage Language Models for Symbolic System in Visual Human Activity Reasoning"
  ☆26Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• Sphere-AI-Lab / FormalMATH-Bench
  ☆51Updated this week
• Phylliida / MambaLens
  Mamba support for transformer lens
  ☆17Updated 8 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• belindal / state-tracking
  Code and data for paper "(How) do Language Models Track State?"
  ☆14Updated 2 months ago
• emalach / LinearLM
  Code for the paper: https://arxiv.org/pdf/2309.06979.pdf
  ☆19Updated 10 months ago
• microsoft / DFOL-VQA
  Differentiable First-Order Logic Reasoning for Visual Question Answering
  ☆39Updated 4 years ago
• kazuki-irie / kv-memory-brain
  Official Code Repository for the paper "Key-value memory in the brain"
  ☆26Updated 3 months ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆46Updated 3 weeks ago