Alternatives and similar repositories for differentiable-proving:

Users that are interested in differentiable-proving are comparing it to the libraries listed below

• SBU-CE / Deep-Learning
  SBU Deep Learning Course Materials and Codes
  ☆14Updated 2 years ago
• erfanMhi / Persian-Digits-Recognizer
  A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.
  ☆11Updated 6 years ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated last year
• 1995parham / ELBoT
  Yet Another Telegram Bot Library
  ☆11Updated 7 years ago
• Erfaniaa / commit-type-detection
  Classify Git commits with deep learning
  ☆18Updated last year
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆14Updated 2 years ago
• aut-ce / .github
  How we can contribute in @aut-ce
  ☆17Updated this week
• avestura / NetworkLab
  🌐 Guides on network projects and configs emulated in GNS3, including OSPF, EIGRP, BGP, and IPSec
  ☆13Updated 4 years ago
• sarehsoltani / BSc-Thesis
  My BSc Thesis: Design and Implementation of a Real-Time Object Tracking system
  ☆11Updated 4 years ago
• HEmile / a-nesi
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆13Updated 3 weeks ago
• ZhengyaoJiang / GTG
  Source code of "Grid-to-Graph: Flexible Spatial Relational Inductive Biases for Reinforcement Learning" (AAMAS 2021).
  ☆27Updated 3 years ago
• tavallaie / devdock
  DevDock is a Python library and CLI tool for managing development containers. It supports Docker images and Docker Compose configurations…
  ☆11Updated 8 months ago
• m3hrdadfi / albert-persian
  ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language
  ☆54Updated 4 years ago
• Networks-Learning / counterfactual-tpp
  Code and real data for "Counterfactual Temporal Point Processes", NeurIPS 2022
  ☆15Updated 2 years ago
• dml-qom / FarsTail
  FarsTail: a Persian natural language inference dataset
  ☆79Updated last year
• MatinTavakoli / Linear-Algebra
  A descriptive & intuitive guide to Linear Algebra!
  ☆84Updated 4 years ago
• jlko / active-surrogate-estimators
  ☆12Updated 3 years ago
• pitmonticone / pitmonticone
  Profile repository of Pietro Monticone.
  ☆11Updated this week
• 1995parham-teaching / ie-lecture
  Internet Engineering Course Lecture and Page 🙈 🎈
  ☆44Updated this week
• 1995parham-learning / Learning
  @elahe-dastan / @1995parham training and testing repository
  ☆57Updated this week
• language-ml / parsi.io
  ☆25Updated 8 months ago
• mahdavipanah / pyCFG
  Context Free Grammar(CFG) parser library and application written in Python.
  ☆25Updated last year
• EleMisi / VAEL
  Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
  ☆20Updated last year
• sajjjadayobi / ParsBigBird
  Persian Bert For Long-Range Sequences
  ☆63Updated 3 years ago
• sajjjadayobi / CLIPfa
  CLIPfa: Connecting Farsi Text and Images
  ☆83Updated 2 years ago
• pourmand1376 / PersianCrawler
  Open source crawler for Persian websites.
  ☆19Updated last year
• tavallaie / transmutate
  A versatile library for transforming and serializing data models into multiple formats.
  ☆14Updated 6 months ago
• mallahyari / Farsi-datasets
  A collection of Farsi (Persian) datasets
  ☆27Updated 3 years ago
• parsa-abbasi / Sentiment-Analysis
  Sentiment analysis using ML and DL models on Persian texts
  ☆12Updated last year