softsys4ai / differentiable-proving
Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
☆12Updated 2 years ago
Alternatives and similar repositories for differentiable-proving:
Users that are interested in differentiable-proving are comparing it to the libraries listed below
- A collection of Farsi (Persian) datasets☆27Updated 3 years ago
- A well documented Jupyter notebook for learning how you could recognize Persian digits using CNNs.☆11Updated 6 years ago
- FarsTail: a Persian natural language inference dataset☆80Updated last year
- SBU Deep Learning Course Materials and Codes☆14Updated 2 years ago
- CLIPfa: Connecting Farsi Text and Images☆83Updated 2 years ago
- فرمت سمینار دانشگاه صنعتی شریف☆23Updated 2 years ago
- ☆26Updated 11 months ago
- PCoQA: Persian Conversational Question Answering Dataset☆20Updated 9 months ago
- Code, datasets, and models designed to generate product catalogs using LLMs.☆33Updated 8 months ago
- Yet Another Telegram Bot Library☆11Updated 7 years ago
- ALBERT: A Lite BERT for Self-supervised Learning of Language Representations for the Persian Language☆54Updated 4 years ago
- Name Entity Recognition (NER) on the Persian Twitter dataset.☆52Updated 3 years ago
- ⛰️ RockyML - A High-Performance Scientific Computing Framework for Non-smooth Machine Learning Problems☆19Updated 2 years ago
- This is a sample application powered by Pushe.co push notification which is build with Unity.☆9Updated 4 years ago
- Ganjoor's MySQL Docker Instance + Data☆25Updated 7 years ago
- All projects of Data Structure course in an integrated GUI application☆13Updated 4 years ago
- ☆20Updated 2 years ago
- Standardize your Persian text: Preprocessing, Embedding, and more!☆15Updated last year
- A benchmark for evaluation and comparison of various NLP tasks in Persian language.☆75Updated 3 years ago
- A well-structured summarization dataset for the Persian language!☆49Updated last year
- Persian GPT2☆37Updated 3 years ago
- Persian Bert For Long-Range Sequences☆63Updated 3 years ago
- 🧪 My tiny project for Software Testing☆19Updated 6 years ago
- How we can contribute in @aut-ce☆17Updated 2 months ago
- A descriptive & intuitive guide to Linear Algebra!☆84Updated 4 years ago
- Sentiment analysis using ML and DL models on Persian texts☆12Updated 2 years ago
- A telegram bot for reserving food and sharing food forget code between sharif students.☆13Updated last year
- Python script to read Quera judge results and put them in a csv☆17Updated 2 years ago
- Repository for the experiments described in the paper named "DeepSentiPers: Novel Deep Learning Models Trained Over Proposed Augmented Pe…☆32Updated 2 years ago
- A Finglish to Persian converter.☆83Updated 3 years ago