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
• ElmiraGhorbani / deforum_stable_diffusion_chatbot
  An OpenAI GPT-powered chatbot utilizing deforum stable diffusion to aid developers in efficiently searching through documentations.
  ☆13Updated last year
• language-ml / parsi.io
  ☆25Updated 7 months ago
• dml-qom / FarsTail
  FarsTail: a Persian natural language inference dataset
  ☆77Updated last year
• 1995parham / ELBoT
  Yet Another Telegram Bot Library
  ☆11Updated 7 years ago
• erfanMhi / Persian-Digits-Recognizer
  A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.
  ☆10Updated 6 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
• hooshvare / pn-summary
  A well-structured summarization dataset for the Persian language!
  ☆47Updated 11 months ago
• amirabbasasadi / RockyML
  ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems
  ☆19Updated last year
• mallahyari / Farsi-datasets
  A collection of Farsi (Persian) datasets
  ☆26Updated 3 years ago
• arxyzan / fraud-detection-gnn
  Fraud Detection using various GNN models
  ☆12Updated last year
• pitmonticone / pitmonticone
  Profile repository of Pietro Monticone.
  ☆11Updated last week
• pourmand1376 / PersianCrawler
  Open source crawler for Persian websites.
  ☆19Updated last year
• hooshvare / parsgpt
  Persian GPT2
  ☆35Updated 3 years ago
• pourmand1376 / Seminar_Sharif
  فرمت سمینار دانشگاه صنعتی شریف
  ☆22Updated 2 years ago
• MatinTavakoli / Linear-Algebra
  A descriptive & intuitive guide to Linear Algebra!
  ☆84Updated 4 years ago
• 1995parham-teaching / ie-lecture
  Internet Engineering Course Lecture and Page 🙈 🎈
  ☆44Updated last month
• sajjjadayobi / CLIPfa
  CLIPfa: Connecting Farsi Text and Images
  ☆81Updated 2 years ago
• m3hrdadfi / albert-persian
  ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language
  ☆54Updated 3 years ago
• imsalione / PythonFundamentals-Farsi
  This repository was created using w3schools training methods for my personal practice as well as general use for learning in the JupyterN…
  ☆21Updated 2 months ago
• taesiri / PersianWordVectors
  A set of pre-trained word vectors for Persian language
  ☆14Updated last year
• Mofid-AI / persian-nlp-benchmark
  A benchmark for evaluation and comparison of various NLP tasks in Persian language.
  ☆74Updated 3 years ago
• moaminsharifi / my-ai-resource
  Hello My friend , In This repository I Store My AI and Machine Learning + Deep Learning Resources. In here I list paid and free course an…
  ☆31Updated 4 years ago
• huggingface / gaia
  Hugging Face and Pyserini interoperability
  ☆20Updated last year
• Melanee-Melanee / Speech-Recognition-Chatbot
  A voice chat assistant which allows you to speak with your machine
  ☆14Updated 3 months ago
• EhsanShahbazii / Call-Of-Duty
  🔫call of duty site is built with React. for training. full responsive. and this is my first react app.🔫
  ☆10Updated 2 years ago
• ZhengyaoJiang / GTG
  Source code of "Grid-to-Graph: Flexible Spatial Relational Inductive Biases for Reinforcement Learning" (AAMAS 2021).
  ☆27Updated 3 years ago