Alternatives and similar repositories for splncs04nat

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

• eth-sri / dl2
  DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…
  ☆87Updated last year
• lintool / guide
  The Student's Guide to @lintool
  ☆322Updated last year
• unitn-sml / wmpy
  Reasoning over weighted algebraic and logical constraints
  ☆26Updated last week
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• djsutherland / arxiv-collector
  A little Python script to collect LaTeX sources for upload to the arXiv.
  ☆372Updated 7 months ago
• stanojevic / Rotating-CCG
  ☆19Updated 4 years ago
• holderlb / Subdue
  The Subdue graph miner discovers highly-compressing patterns in an input graph.
  ☆41Updated last year
• lucadiliello / semantic-loss-pytorch
  PyPSDD porting to Python 3 + PyTorch equivalent tree construction.
  ☆16Updated 2 years ago
• dhil / inf-thesis-latex-cls
  A LaTeX Class for Informatics theses at The University of Edinburgh
  ☆34Updated 3 years ago
• azreasoners / NeurASP
  ☆49Updated 2 years ago
• mikelewis0 / easyccg
  ☆61Updated 8 years ago
• HazyResearch / hyperbolics
  Hyperbolic Embeddings
  ☆394Updated 2 years ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆46Updated last year
• timvieira / hypergraphs
  Reference implementations of basic and advanced hypergraph algorithms.
  ☆49Updated 2 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆75Updated 4 years ago
• i-machine-think / am-i-compositional
  ☆63Updated 2 years ago
• CSGuides / grad-job-guide
  CS Graduate Job Guide
  ☆33Updated last year
• DennisCraandijk / DL-abstract-argumentation
  Neuro-symbolic approaches to reasoning problems from abstract argumentation
  ☆23Updated 3 years ago
• code-terminator / classwise_rationale
  Tensorflow implementation for the Class-wise Selective Rationalization
  ☆15Updated 2 years ago
• shauli-ravfogel / nullspace_projection
  ☆90Updated 3 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• adrianjav / causal-flows
  CausalFlows: A library for Causal Normalizing Flows in Pytorch
  ☆30Updated 9 months ago
• deeprob-org / deeprob-kit
  A Python Library for Deep Probabilistic Modeling
  ☆62Updated last year
• bozsahin / ccg-latex
  latex style file for drawing Combinatory Categorial Grammar (CCG) derivations
  ☆21Updated 2 years ago
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆23Updated 2 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• kasnerz / reffix
  A tool for fixing a BibTeX reference list using DBLP API
  ☆73Updated last year
• robsimmons / cmu-thesis
  Latex starters for creating a CMU thesis or thesis proposal
  ☆36Updated 8 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆54Updated 4 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 10 months ago