softsys4ai / differentiable-proving
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
☆12Updated last year
Related projects: ⓘ
- SBU Deep Learning Course Materials and Codes☆13Updated last year
- CLIPfa: Connecting Farsi Text and Images☆81Updated last year
- An OpenAI GPT-powered chatbot utilizing deforum stable diffusion to aid developers in efficiently searching through documentations.☆13Updated last year
- PCoQA: Persian Conversational Question Answering Dataset☆19Updated last month
- ☆25Updated 3 months ago
- Fraud Detection using various GNN models☆11Updated last year
- A collection of Farsi (Persian) datasets☆25Updated 3 years ago
- A benchmark for evaluation and comparison of various NLP tasks in Persian language.☆72Updated 3 years ago
- FarsTail: a Persian natural language inference dataset☆75Updated last year
- A voice chat assistant which allows you to speak with your machine☆12Updated 9 months ago
- Persian Bert For Long-Range Sequences☆63Updated 2 years ago
- ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language☆53Updated 3 years ago
- فرمت سمینار دانشگاه صنعتی شریف☆19Updated last year
- Linear Algebra Hand Notes☆20Updated 3 years ago
- ☆20Updated last year
- News Recommender System based on an Online Reinforcement Learning Model☆10Updated last year
- How we can contribute in @aut-ce☆17Updated 2 years ago
- In this project, we implemented a topic detection system on Twitter. This system reads tweets from a data stream and assigns them to one …☆26Updated last year
- A LaTeX template for typesetting theses in Persian☆13Updated last year
- A FLOSS software for Persian Optical Character Recognition☆77Updated 3 months ago
- Python script to read Quera judge results and put them in a csv☆16Updated 2 years ago
- A well-structured summarization dataset for the Persian language!☆43Updated 8 months ago
- Digikala online market has recently published some open source data in various categories. Since I always wanted to do some NLP project,…☆22Updated 4 years ago
- A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.☆10Updated 5 years ago
- Implementation of Vehicle Registration Plate Recognition using CNNs, my bachelor thesis☆22Updated 4 years ago
- Name Entity Recognition (NER) on the Persian Twitter dataset.☆51Updated 2 years ago
- In this project you can get the credit card number of a credit card that is in the image. I have do this in 2 ways. The first one is with…☆22Updated 4 years ago
- Code, datasets, and models designed to generate product catalogs using LLMs.☆29Updated 2 weeks ago
- This repository is for the students of advanced programming course in Spring 2021.☆30Updated 9 months ago
- ☆15Updated 10 months ago