Alternatives and similar repositories for plcop

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

• ptarau / DeepRank
  A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…
  ☆31Updated last year
• google-research / crossbeam
  ☆43Updated 2 years ago
• gipplab / FormulaCloudData
  Discovering Mathematical Objects of Interest - A Study of Mathematical Notations
  ☆10Updated 5 years ago
• ForoughA / recursiveMemNet
  Tree Stack Memory Units
  ☆17Updated 5 years ago
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆17Updated last week
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 5 years ago
• tetherless-world / explanation-ontology
  Explanation Ontology Resource website
  ☆11Updated last year
• wellecks / symbolic_generalization
  Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)
  ☆14Updated 3 years ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 9 years ago
• HiroakiMikami / mlprogram
  PyTorch library for synthesizing programs from natural language
  ☆18Updated 11 months ago
• zhangir-azerbayev / proof-pile
  Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
  ☆20Updated 2 years ago
• patham9 / NarsGPT
  A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.
  ☆43Updated last year
• tonywu95 / LIME
  Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
  ☆29Updated 4 years ago
• SmileWide / main
  The main - so far, only - repository for the SmileWide project.
  ☆32Updated 9 years ago
• Strong-AI-Lab / A-Neural-Symbolic-Paradigm
  From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
  ☆11Updated 2 years ago
• tomerwolgithub / question-decomposition-to-sql
  Weakly Supervised Text-to-SQL Parsing through Question Decomposition
  ☆22Updated last year
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆34Updated last year
• rajammanabrolu / C2PO
  Automated Storytelling via Causal, Commonsense Plot Ordering
  ☆52Updated 4 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆18Updated 3 years ago
• opencog / spacetime
  Save, track and query 3D+time locations of objects in the AtomSpace
  ☆13Updated 3 months ago
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆46Updated 8 months ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• tiantiangao7 / kalm
  Knowledge Acquisition Logic Machine
  ☆18Updated 5 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• azreasoners / LLM-ASP
  ☆31Updated 4 months ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated last month