Alternatives and similar repositories for Neural-Execution-Engines

Users that are interested in Neural-Execution-Engines are comparing it to the libraries listed below

• gblackout / NLIL
  Neural Logic Inductive Learning
  ☆44Updated 3 years ago
• NNReasoning / What-Can-Neural-Networks-Reason-About
  ☆44Updated 5 years ago
• snap-stanford / zeroc
  ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…
  ☆32Updated 2 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆53Updated 4 years ago
• bergen / EdgeTransformer
  ☆22Updated 3 years ago
• felixzli / synthetic_pretraining
  ☆38Updated 3 years ago
• da03 / Residual-EBM
  Code for Residual Energy-Based Models for Text Generation in PyTorch.
  ☆25Updated 4 years ago
• violet-zct / group-conditional-DRO
  Group-conditional DRO to alleviate spurious correlations
  ☆15Updated 4 years ago
• p-lambda / incontext-learning
  Experiments and code to generate the GINC small-scale in-context learning dataset from "An Explanation for In-context Learning as Implici…
  ☆108Updated last year
• ec6dde01667145e58de60f864e05a4 / CausalOptimizationAnon
  ☆65Updated last year
• carolinlawrence / gradient-rollback
  Code for gradient rollback, which explains predictions of neural matrix factorization models, as for example used for knowledge base comp…
  ☆21Updated 4 years ago
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers
  A curated paper list on neural symbolic and probabilistic logic.
  ☆128Updated 2 years ago
• RobertCsordas / modules
  The official repository for our paper "Are Neural Nets Modular? Inspecting Functional Modularity Through Differentiable Weight Masks". We…
  ☆46Updated last year
• varunnair18 / FISH
  Code for "Training Neural Networks with Fixed Sparse Masks" (NeurIPS 2021).
  ☆59Updated 3 years ago
• yichousun / Winter2021_CS249_GNN
  ☆54Updated 2 years ago
• IDSIA / recurrent-fwp
  Official repository for the paper "Going Beyond Linear Transformers with Recurrent Fast Weight Programmers" (NeurIPS 2021)
  ☆50Updated 3 months ago
• pietrobarbiero / logic_explained_networks
  Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.
  ☆51Updated 2 years ago
• gbarcik / graphnets
  Extending the Neural Graph Algorithm Executor
  ☆13Updated 2 years ago
• facebookresearch / Permutation-Equivariant-Seq2Seq
  Humans understand novel sentences by composing meanings and roles of core language components. In contrast, neural network models for nat…
  ☆27Updated 5 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆49Updated 5 years ago
• csinva / mdl-complexity
  MDL Complexity computations and experiments from the paper "Revisiting complexity and the bias-variance tradeoff".
  ☆18Updated 2 years ago
• HKUNLP / subgoal-theorem-prover
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19Updated 2 years ago
• archiki / GrIPS
  Code for our paper: "GrIPS: Gradient-free, Edit-based Instruction Search for Prompting Large Language Models"
  ☆56Updated 2 years ago
• satwik77 / Transformer-Formal-Languages
  EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages
  ☆24Updated 4 years ago
• DSL-Lab / clrs
  ☆11Updated 2 years ago
• xiamengzhou / training_trajectory_analysis
  [ACL 2023]: Training Trajectories of Language Models Across Scales https://arxiv.org/pdf/2212.09803.pdf
  ☆24Updated last year
• MadryLab / modeldiff
  ModelDiff: A Framework for Comparing Learning Algorithms
  ☆59Updated 2 years ago
• joshuacnf / paradox-learning2reason
  ☆36Updated 8 months 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
• princeton-nlp / TransformerPrograms
  [NeurIPS 2023] Learning Transformer Programs
  ☆163Updated last year