Alternatives and similar repositories for mathesis:

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

• trueagi-io / metta-examples
  Discussion of MeTTa programming with examples
  ☆25Updated last week
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆256Updated 2 weeks ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆104Updated 9 months ago
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆80Updated 2 years ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆34Updated 8 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 3 months ago
• opennars / NARS-GPT
  GPT-based language channel for NARS (ONA)
  ☆31Updated 3 months ago
• jcole75 / ARC_Solver
  Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.
  ☆15Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• lio-wong / dreamcoder
  ☆65Updated 3 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆47Updated 2 weeks ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆233Updated 9 months ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆261Updated this week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• leoprover / tptp
  TPTP python library and benchmarking service
  ☆13Updated 5 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆104Updated 7 months ago
• neoneye / ARC-Interactive
  Enjoy puzzle-solving directly in your browser.
  ☆25Updated 3 weeks ago
• Pleias / Pleias-RAG-Library
  Python library to use Pleias-RAG models
  ☆46Updated last week
• plastic-labs / dspy-opentom
  Exploration using DSPy to optimize modules to maximize performance on the OpenToM dataset
  ☆16Updated last year
• DerwenAI / textgraphs
  TextGraphs + LLMs + graph ML for entity extraction, linking, ranking, and constructing a lemma graph
  ☆24Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆223Updated last month
• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆63Updated this week
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆24Updated 8 months ago
• MahmudulAlam / Holographic-Reduced-Representations
  Holographic Reduced Representations
  ☆25Updated 6 months ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• dpaleka / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆19Updated 3 years ago